| Class | Description |
|---|---|
| Computer | |
| Expression |
Examples of expression: a,a+b, a+b > 2,c=a+b, W[a]!=W[b], Ea W[a]!=W[a+1],...
Some expressions evaluate to automaton. |
| GraphViz |
Purpose: GraphViz Java API
Description:
With this Java class you can simply call dot
from your Java programs
Example usage:
|
| IntegrationTest | |
| Predicate | |
| prover |
This class contains the main method.
|
| TestCase | |
| UtilityMethods |
This class contains a number of useful public static method.
|
| Enum | Description |
|---|---|
| Type |