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