RandomChooser Struct Reference

Choose randomly a state between all currently choosable. More...

List of all members.

Public Member Functions
template<class Auto_>
Auto_::hstate_t	operator() (const Auto_ &a) const
	Precondition: a must not be the empty automaton.

---

Detailed Description

Choose randomly a state between all currently choosable.

See also:

aut_to_exp()

Definition at line 104 of file aut_to_exp.hh.

---