spot  2.10.6
Public Types | Public Member Functions | Static Public Member Functions | List of all members
spot::trival Class Reference

A class implementing Kleene's three-valued logic. More...

#include <spot/misc/trival.hh>

Collaboration diagram for spot::trival:

Public Types

enum  value_t : repr_t { no_value = -1 , maybe_value = 0 , yes_value = 1 }
typedef signed char repr_t

Public Member Functions

constexpr trival (bool v)
constexpr trival (value_t v)
constexpr bool is_known () const
 Is true or false, but not maybe. More...
constexpr bool is_maybe () const
constexpr bool is_true () const
constexpr bool is_false () const
constexpr value_t val () const
constexpr operator bool () const
constexpr trival operator! () const

Static Public Member Functions

static trival from_repr_t (repr_t v)
static constexpr trival maybe () noexcept

Detailed Description

A class implementing Kleene's three-valued logic.

Member Function Documentation

◆ is_known()

constexpr bool spot::trival::is_known ( ) const

Is true or false, but not maybe.

The documentation for this class was generated from the following file:

Please direct any question, comment, or bug report to the Spot mailing list at
Generated on Fri Feb 27 2015 10:00:07 for spot by doxygen 1.9.1