# Package Main

- Class Summary
  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 Summary
  Enum | Description
  --- | ---
  Type |