spot  2.3.3.dev
spot::transition Member List

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

acc_ (defined in spot::transition)spot::transition
cube_ (defined in spot::transition)spot::transition
transition() (defined in spot::transition)spot::transition
transition(const transition &t)=delete (defined in spot::transition)spot::transition
transition(transition &&t) noexcept (defined in spot::transition)spot::transition
transition(const cube &cube, acc_cond::mark_t acc) (defined in spot::transition)spot::transition
~transition() (defined in spot::transition)spot::transitionvirtual

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Tue Apr 18 2017 14:42:58 for spot by doxygen 1.8.13