specless.automaton.product

Classes

Product	Describes a product automaton between a specification automaton and a dynamics automaton.
ProductBuilder	Implements the generic automaton builder class for Product objects