DiaDes  0.1
DIAgnosis of Discrete-Event System
Diades::Automata::Experimental::MakeAcceptingState< FA, BS > Member List

This is the complete list of members for Diades::Automata::Experimental::MakeAcceptingState< FA, BS >, including all inherited members.

MakeAcceptingState(const FA &source, FA &target, const BS &bs, State s)Diades::Automata::Experimental::MakeAcceptingState< FA, BS >inline
State typedefDiades::Automata::Experimental::MakeAcceptingState< FA, BS >