Package CA

Contract Automata, extends FSA implementing the functionalities of a CA

See: Description

Class Summary

Class	Description
CA	Class implementing a Contract Automaton and its functionalities
CATransition	Transition of a contract automaton
CAUtil	Utilities for CA: product, aproduct

Package CA Description

Contract Automata, extends FSA implementing the functionalities of a CA