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 |