- Main - Class in <Unnamed>
-
Main Class, contains the method main
- Main() - Constructor for class Main
-
- main(String[]) - Static method in class Main
-
Select the kind of automaton and choose to create a new automaton or loading a stored automaton, then run
the simulator
- match() - Method in class CA.CATransition
-
- match(int[], int[]) - Static method in class CA.CATransition
-
check if labels l and ll are in match
- mixedChoice() - Method in class CA.CA
-
- mpc() - Method in class CA.CA
-
compute the most permissive controller for agreement