- 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
-