spot  2.7.2
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 ()
 

Detailed Description

A class implementing Kleene's three-valued logic.

https://en.wikipedia.org/wiki/Three-valued_logic#Kleene_and_Priest_logics

Member Function Documentation

◆ is_known()

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

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 spot@lrde.epita.fr.
Generated on Fri Feb 27 2015 10:00:07 for spot by doxygen 1.8.13