spot  2.3.4
 All Classes Files Functions Variables Typedefs Enumerations Enumerator Friends Modules Pages
spot::trival Member List

This is the complete list of members for spot::trival, including all inherited members.

is_false() const (defined in spot::trival)spot::trivalinline
is_known() const spot::trivalinline
is_maybe() const (defined in spot::trival)spot::trivalinline
is_true() const (defined in spot::trival)spot::trivalinline
maybe() (defined in spot::trival)spot::trivalinlinestatic
maybe_value enum value (defined in spot::trival)spot::trival
no_value enum value (defined in spot::trival)spot::trival
operator bool() const (defined in spot::trival)spot::trivalinlineexplicit
operator!() const (defined in spot::trival)spot::trivalinline
operator!=(trival o) const (defined in spot::trival)spot::trivalinline
operator==(trival o) const (defined in spot::trival)spot::trivalinline
repr_t typedef (defined in spot::trival)spot::trival
trival() (defined in spot::trival)spot::trivalinline
trival(bool v) (defined in spot::trival)spot::trivalinline
trival(repr_t v) (defined in spot::trival)spot::trivalinline
trival(value_t v) (defined in spot::trival)spot::trivalinline
val() const (defined in spot::trival)spot::trivalinline
value_t enum name (defined in spot::trival)spot::trival
yes_value enum value (defined in spot::trival)spot::trival

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Thu May 11 2017 08:27:32 for spot by doxygen 1.8.8