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

L

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
 
A B C D E F G H I L M N O P Q R S T U V W X