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