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

## P

parseAlphabetDeclaration(String, List<List<Integer>>, List<NumberSystem>) - Static method in class Automata.ParseMethods
parseInt(String) - Static method in class Main.UtilityMethods
parseList(String, List<Integer>) - Static method in class Automata.ParseMethods
ParseMethods - Class in Automata
ParseMethods() - Constructor for class Automata.ParseMethods
parseStateDeclaration(String, int[]) - Static method in class Automata.ParseMethods
parseTransition(String, List<Integer>, List<Integer>) - Static method in class Automata.ParseMethods
parseTrueFalse(String, boolean[]) - Static method in class Automata.ParseMethods
permute(List<T>, int[]) - Static method in class Main.UtilityMethods
  permutes L with regard to permutation.
Predicate - Class in Main
Predicate(String) - Constructor for class Main.Predicate
Predicate(String, int) - Constructor for class Main.Predicate
Predicate(String, String, int) - Constructor for class Main.Predicate
prefixClose() - Method in class dk.brics.automaton.Automaton
  See `SpecialOperations.prefixClose(Automaton)`.
prefixClose(Automaton) - Static method in class dk.brics.automaton.SpecialOperations
  Prefix closes the given automaton.
projectChars(Set<Character>) - Method in class dk.brics.automaton.Automaton
  See `SpecialOperations.projectChars(Automaton, Set)`.
projectChars(Automaton, Set<Character>) - Static method in class dk.brics.automaton.SpecialOperations
  Returns an automaton with projected alphabet.
prover - Class in Main
  This class contains the main method.
prover() - Constructor for class Main.prover
put(List<Token>, Stack<Operator>) - Method in class Token.Operator
put(List<Token>, Stack<Operator>) - Method in class Token.RightParenthesis
put(List<Token>) - Method in class Token.Token

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