Uses of Class
CA.CA

Packages that use CA

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

Uses of CA in CA

Methods in CA that return CA

Modifier and Type	Method and Description
static CA	CAUtil.aproduct(CA[] a) compute the associative product of the CA in the array a
CA	CA.clone()
CA	CA.mpc() compute the most permissive controller for agreement
static CA	CAUtil.product(CA[] aut) compute the product automaton of the CA given in aut
CA	CA.proj(int i) compute the projection on the i-th principal, or null if rank=1
static CA	CAUtil.removeHangedTransitions(CA at) remove transitions who do not reach a final state
static CA	CAUtil.removeUnreachable(CA at) remove the unreachable transitions from aut
CA	CA.smpc() compute the most permissive controller for strong agreement

Methods in CA with parameters of type CA

Modifier and Type	Method and Description
static CA	CAUtil.aproduct(CA[] a) compute the associative product of the CA in the array a
static CA	CAUtil.product(CA[] aut) compute the product automaton of the CA given in aut
static CA	CAUtil.removeHangedTransitions(CA at) remove transitions who do not reach a final state
static CA	CAUtil.removeUnreachable(CA at) remove the unreachable transitions from aut