# Hierarchy For All Packages

Package Hierarchies:

- Automata,
- dk.brics.automaton,
- Main,
- Token

## Class Hierarchy

- java.lang.Object
  - Automata.Automaton
  - dk.brics.automaton.Automaton (implements java.lang.Cloneable, java.io.Serializable)
  - dk.brics.automaton.AutomatonMatcher (implements java.util.regex.MatchResult)
  - dk.brics.automaton.BasicAutomata
  - dk.brics.automaton.BasicOperations
  - Main.Computer
  - dk.brics.automaton.Datatypes
  - dk.brics.automaton.DatatypesAutomatonProvider (implements dk.brics.automaton.AutomatonProvider)
  - Main.Expression
  - Main.GraphViz
  - Main.IntegrationTest
  - dk.brics.automaton.MinimizationOperations
  - Automata.NumberSystem
  - Automata.ParseMethods
  - Main.Predicate
  - Main.prover
  - dk.brics.automaton.RegExp
  - dk.brics.automaton.RunAutomaton (implements java.io.Serializable)
  - dk.brics.automaton.ShuffleOperations
  - dk.brics.automaton.SpecialOperations
  - dk.brics.automaton.State (implements java.lang.Comparable<T>, java.io.Serializable)
  - dk.brics.automaton.StatePair
  - dk.brics.automaton.StringUnionOperations
  - Main.TestCase
  - Token.Token
    - Token.AlphabetLetter
    - Token.Function
    - Token.NumberLiteral
    - Token.Operator
      - Token.ArithmeticOperator
      - Token.LeftParenthesis
      - Token.LogicalOperator
      - Token.RelationalOperator
      - Token.RightParenthesis
    - Token.Variable
    - Token.Word
  - dk.brics.automaton.Transition (implements java.lang.Cloneable, java.io.Serializable)
  - Main.UtilityMethods

## Interface Hierarchy

- dk.brics.automaton.AutomatonProvider

## Enum Hierarchy

- java.lang.Object
  - java.lang.Enum<E> (implements java.lang.Comparable<T>, java.io.Serializable)
    - Main.Type