- LeftParenthesis - Class in Token
-
- LeftParenthesis(int) - Constructor for class Token.LeftParenthesis
-
- lessThan - 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.
- LEXICOGRAPHIC_ORDER - Static variable in class dk.brics.automaton.StringUnionOperations
-
Lexicographic order of input sequences.
- list_of_identifiers_to_quantify - Variable in class Main.Expression
-
- load(URL) - Static method in class dk.brics.automaton.Automaton
-
Retrieves a serialized Automaton
located by a URL.
- load(InputStream) - Static method in class dk.brics.automaton.Automaton
-
Retrieves a serialized Automaton
from a stream.
- load(URL) - Static method in class dk.brics.automaton.RunAutomaton
-
Retrieves a serialized RunAutomaton
located by a URL.
- load(InputStream) - Static method in class dk.brics.automaton.RunAutomaton
-
Retrieves a serialized RunAutomaton
from a stream.
- loadCommand(String) - Static method in class Main.prover
-
load x.p; loads commands from the file x.p.
- loadTestCases() - Method in class Main.IntegrationTest
-
- LogicalOperator - Class in Token
-
- LogicalOperator(int, String) - Constructor for class Token.LogicalOperator
-
- LogicalOperator(int, String, int) - Constructor for class Token.LogicalOperator
-