Uses of Class
CA.CATransition

Packages that use CATransition

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

Uses of CATransition in CA

Methods in CA that return CATransition

Modifier and Type	Method and Description
CATransition[]	CA.getTransition()
CATransition[]	CA.liable()
CATransition[]	CA.strongLiable()

Constructors in CA with parameters of type CATransition

Constructor and Description
CA(int rank, int[] initial, int[] states, int[][] finalstates, CATransition[] tra)