Uses of Package
CA

Packages that use CA

Package	Description
CA	Contract Automata, extends FSA implementing the functionalities of a CA

Classes in CA used by CA

Class and Description
CA Class implementing a Contract Automaton and its functionalities
CATransition Transition of a contract automaton