## Uses of Class
Automata.Automaton

- Packages that use Automaton
  Package | Description
  --- | ---
  Automata |
  Main |
  Token |

- - ### Uses of Automaton in Automata

    Fields in Automata declared as Automaton
    Modifier and Type | Field and Description
    --- | ---
    `Automaton` | NumberSystem.`addition` Automata for addition, lessThan, and equal -addition has three inputs, and it accepts iff the third is the sum of the first two.
    `Automaton` | NumberSystem.`allRepresentations` Automata for addition, lessThan, and equal -addition has three inputs, and it accepts iff the third is the sum of the first two.
    `Automaton` | NumberSystem.`equality` Automata for addition, lessThan, and equal -addition has three inputs, and it accepts iff the third is the sum of the first two.
    `Automaton` | NumberSystem.`lessThan` Automata for addition, lessThan, and equal -addition has three inputs, and it accepts iff the third is the sum of the first two.

    Methods in Automata that return Automaton
    Modifier and Type | Method and Description
    --- | ---
    `Automaton` | Automaton.`and(Automaton M)`
    `Automaton` | NumberSystem.`arithmetic(int a, java.lang.String b, java.lang.String c, java.lang.String arithmeticOperator)`
    `Automaton` | NumberSystem.`arithmetic(java.lang.String a, int b, java.lang.String c, java.lang.String arithmeticOperator)`
    `Automaton` | NumberSystem.`arithmetic(java.lang.String a, java.lang.String b, java.lang.String c, java.lang.String arithmeticOperator)`
    `Automaton` | Automaton.`clone()` returns a deep copy of this automaton.
    `Automaton` | Automaton.`compare(Automaton W, java.lang.String operator)` The operator can be one of "<" ">" "=" "!=" "<=" ">=".
    `Automaton` | NumberSystem.`comparison(int a, java.lang.String b, java.lang.String comparisonOperator)`
    `Automaton` | NumberSystem.`comparison(java.lang.String a, int b, java.lang.String comparisonOperator)`
    `Automaton` | NumberSystem.`comparison(java.lang.String a, java.lang.String b, java.lang.String comparisonOperator)`
    `Automaton` | NumberSystem.`get(int n)`
    `Automaton` | NumberSystem.`getAllRepresentations()`
    `Automaton` | NumberSystem.`getDivision(int n)`
    `Automaton` | NumberSystem.`getMultiplication(int n)`
    `Automaton` | Automaton.`iff(Automaton M)`
    `Automaton` | Automaton.`imply(Automaton M)`
    `Automaton` | Automaton.`or(Automaton M)`
    `Automaton` | Automaton.`xor(Automaton M)`

    Methods in Automata with parameters of type Automaton
    Modifier and Type | Method and Description
    --- | ---
    `Automaton` | Automaton.`and(Automaton M)`
    `Automaton` | Automaton.`compare(Automaton W, java.lang.String operator)` The operator can be one of "<" ">" "=" "!=" "<=" ">=".
    `boolean` | Automaton.`equals(Automaton M)`
    `Automaton` | Automaton.`iff(Automaton M)`
    `Automaton` | Automaton.`imply(Automaton M)`
    `Automaton` | Automaton.`or(Automaton M)`
    `Automaton` | Automaton.`xor(Automaton M)`

  - ### Uses of Automaton in Main

    Fields in Main declared as Automaton
    Modifier and Type | Field and Description
    --- | ---
    `Automaton` | Expression.`M`
    `Automaton` | Expression.`W`

    Methods in Main that return Automaton
    Modifier and Type | Method and Description
    --- | ---
    `static Automaton` | prover.`dispatchForIntegrationTest(java.lang.String s)`
    `static Automaton` | prover.`eval_def_commands(java.lang.String s)`
    `Automaton` | Computer.`getTheFinalResult()`
    `static Automaton` | prover.`regCommand(java.lang.String s)`

    Constructors in Main with parameters of type Automaton
    Constructor and Description
    `Expression(java.lang.String expressionInString, Automaton M)`
    `Expression(java.lang.String expressionInString, Automaton W, Automaton M, java.util.List<java.lang.String> quantify)`
    `Expression(java.lang.String expressionInString, Automaton M, java.lang.String identifier)`
    `TestCase(java.lang.String command, Automaton result, java.lang.String error)`

  - ### Uses of Automaton in Token

    Constructors in Token with parameters of type Automaton
    Constructor and Description
    `Function(int position, java.lang.String name, Automaton A, int number_of_arguments)`
    `Word(int position, java.lang.String name, Automaton W, int number_of_indices)`