A B C D E F G H I L M N O P Q R S T U V W X

## E

EMPTY - Static variable in class dk.brics.automaton.RegExp
  Syntax flag, enables empty language (`#`).
end() - Method in class dk.brics.automaton.AutomatonMatcher
  Returns the offset after the last character matched.
end(int) - Method in class dk.brics.automaton.AutomatonMatcher
  Returns the offset after the last character matched of the specified capturing group.
end_graph() - Method in class Main.GraphViz
  Returns a string that is used to end a graph.
equality - Variable in class Automata.NumberSystem
  Automata for addition, lessThan, and equal
  -addition has three inputs, and it accepts iff the third is the sum of the first two.
equals(Automaton) - Method in class Automata.Automaton
equals(Object) - Method in class dk.brics.automaton.Automaton
  Returns true if the language of this automaton is equal to the language of the given automaton.
equals(Object) - Method in class dk.brics.automaton.State
  See `Object.equals(java.lang.Object)`.
equals(Object) - Method in class dk.brics.automaton.StatePair
  Checks for equality.
equals(Object) - Method in class dk.brics.automaton.Transition
  Checks for equality.
eval_def_commands(String) - Static method in class Main.prover
exists(String) - Static method in class dk.brics.automaton.Datatypes
  Checks whether a given automaton is available.
expandSingleton() - Method in class dk.brics.automaton.Automaton
  Expands singleton representation to normal representation.
Expression - Class in Main
  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.
Expression(String) - Constructor for class Main.Expression
Expression(String, int) - Constructor for class Main.Expression
Expression(String, int, NumberSystem) - Constructor for class Main.Expression
Expression(String, Automaton) - Constructor for class Main.Expression
Expression(String, Automaton, String) - Constructor for class Main.Expression
Expression(String, Automaton, Automaton, List<String>) - Constructor for class Main.Expression

A B C D E F G H I L M N O P Q R S T U V W X