spot  2.16
spot::trival Member List

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

from_repr_t(repr_t v)spot::trivalinlinestatic
is_false() constspot::trivalinline
is_known() constspot::trivalinline
is_maybe() constspot::trivalinline
is_true() constspot::trivalinline
maybe() noexceptspot::trivalinlinestatic
maybe_value enum value (defined in spot::trival)spot::trival
no_value enum value (defined in spot::trival)spot::trival
operator bool() constspot::trivalinlineexplicit
operator!() constspot::trivalinline
repr_t typedefspot::trival
trival() noexcept (defined in spot::trival)spot::trivalinline
trival(bool v) noexceptspot::trivalinline
trival(value_t v)spot::trivalinlineexplicit
val() constspot::trivalinline
value_t enum namespot::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 Fri Feb 27 2015 10:00:07 for spot by doxygen 1.9.1