Skip navigation links
A B C D E F G H I J L M N O P R S T V W _ 

P

ParContext(ModalWffParser.WffContext) - Constructor for class jtabwbx.modal.parser.ModalWffParser.ParContext
 
ParContext(FormulaParser.WffContext) - Constructor for class jtabwbx.prop.parser.FormulaParser.ParContext
 
parse(String) - Method in class jtabwbx.modal.parser.ModalFormulaParser
Parses the string given as argument and returns the corresponding ParseTree.
parse(String) - Method in class jtabwbx.prop.parser.PropositionalFormulaParser
Parses the string given as argument and returns the corresponding ParseTree.
ParserError - Exception in jtabwbx.modal.parser
 
ParserError() - Constructor for exception jtabwbx.modal.parser.ParserError
 
ParserError(String, Throwable) - Constructor for exception jtabwbx.modal.parser.ParserError
 
ParserError(String) - Constructor for exception jtabwbx.modal.parser.ParserError
 
ParserError(Throwable) - Constructor for exception jtabwbx.modal.parser.ParserError
 
ParserError - Exception in jtabwbx.prop.parser
 
ParserError() - Constructor for exception jtabwbx.prop.parser.ParserError
 
ParserError(String, Throwable) - Constructor for exception jtabwbx.prop.parser.ParserError
 
ParserError(String) - Constructor for exception jtabwbx.prop.parser.ParserError
 
ParserError(Throwable) - Constructor for exception jtabwbx.prop.parser.ParserError
 
PlainProblemDescription - Class in jtabwbx.problems
A problem consisting of exactly one conjecture.
PlainProblemDescription() - Constructor for class jtabwbx.problems.PlainProblemDescription
 
PlainProblemDescription(String, String) - Constructor for class jtabwbx.problems.PlainProblemDescription
 
PlainProblemDescription(String) - Constructor for class jtabwbx.problems.PlainProblemDescription
 
PlainProblemReader - Class in jtabwbx.problems
Instances of this class allow one to read a problem only consisting of the problem formula.
PlainProblemReader() - Constructor for class jtabwbx.problems.PlainProblemReader
Build a plain reader.
POS - Static variable in class jtabwbx.modal.parser.ModalWffLexer
 
POS - Static variable in class jtabwbx.modal.parser.ModalWffParser
 
post(CTree) - Method in interface jtabwb.tracesupport._LatexCTreeFormatter
The LaTeX to insert after c-tree source.
pre(CTree) - Method in interface jtabwb.tracesupport._LatexCTreeFormatter
The LaTeX to insert before c-tree source or null if no text is to be inserted.
premise() - Method in class jtabwb.engine.ForceBranchSuccess
Returns the abstract node set on which the the proof-search failed.
print(PrintStream) - Method in class jtabwb.engine.Trace
Print a description of the trace on the specified stream.
ProblemDescription - Class in jtabwb.launcher
The description of a logical problem.
ProblemDescription(String, String) - Constructor for class jtabwb.launcher.ProblemDescription
 
ProblemDescription(String) - Constructor for class jtabwb.launcher.ProblemDescription
 
ProblemDescription() - Constructor for class jtabwb.launcher.ProblemDescription
Builds an empty problem description.
ProblemDescriptionException - Exception in jtabwb.launcher
An error in the format of the formula description file.
ProblemDescriptionException() - Constructor for exception jtabwb.launcher.ProblemDescriptionException
 
ProblemDescriptionException(String, Throwable) - Constructor for exception jtabwb.launcher.ProblemDescriptionException
 
ProblemDescriptionException(String) - Constructor for exception jtabwb.launcher.ProblemDescriptionException
 
ProblemDescriptionException(Throwable) - Constructor for exception jtabwb.launcher.ProblemDescriptionException
 
processCmdLineArguments(String[]) - Method in class jtabwb.launcher.Launcher
Processes the command line arguments and defines the configuration of the launcher; the method returns the object describing the essential details of the current launcher configuration.
ProofSearchData - Class in jtabwb.launcher
A bunch of data about a proof-search execution.
ProofSearchData.TerminationStatus - Enum in jtabwb.launcher
Describes how the proof-search terminated.
ProofSearchResult - Enum in jtabwb.engine
The result of the proof-search.
proofStyle() - Method in interface jtabwb.tracesupport._LatexCTreeFormatter
Returns the proof style to use.
PropContext(ModalWffParser.WffContext) - Constructor for class jtabwbx.modal.parser.ModalWffParser.PropContext
 
PropContext(FormulaParser.WffContext) - Constructor for class jtabwbx.prop.parser.FormulaParser.PropContext
 
PropositionalConnective - Enum in jtabwbx.prop.basic
The basic propositional connectives.
PropositionalFormulaParser - Class in jtabwbx.prop.parser
A parser for propositional formulas.
PropositionalFormulaParser() - Constructor for class jtabwbx.prop.parser.PropositionalFormulaParser
Constructs a parser.
PropositionalSubstitution - Class in jtabwbx.prop.formula
A propositional substitution is a mapping between propositional variables and formulas.
PropositionalSubstitution() - Constructor for class jtabwbx.prop.formula.PropositionalSubstitution
 
ProvabilityStatus - Enum in jtabwb.engine
The status of an input formula.
ProverDefinitionException - Exception in jtabwb.launcher
An error in the definition of a prover.
ProverDefinitionException() - Constructor for exception jtabwb.launcher.ProverDefinitionException
 
ProverDefinitionException(String, Throwable, boolean, boolean) - Constructor for exception jtabwb.launcher.ProverDefinitionException
 
ProverDefinitionException(String, Throwable) - Constructor for exception jtabwb.launcher.ProverDefinitionException
 
ProverDefinitionException(String) - Constructor for exception jtabwb.launcher.ProverDefinitionException
 
ProverDefinitionException(Throwable) - Constructor for exception jtabwb.launcher.ProverDefinitionException
 
ProverName - Class in jtabwb.engine
Utility class to manage the name of a prover.
ProverName(String) - Constructor for class jtabwb.engine.ProverName
Constructs a prover version object only specifying the prover name; prover_name cannot be null.
ProverName(String, String) - Constructor for class jtabwb.engine.ProverName
Constructs a prover version object with the specified properties; prover_name cannot be null.
ProverName(String, String, String) - Constructor for class jtabwb.engine.ProverName
Constructs a prover version object with the specified properties; prover_name cannot be null.
ProverName(String, String, String, String) - Constructor for class jtabwb.engine.ProverName
Constructs a prover version object with the specified properties; prover_name cannot be null.
pruneSuccessful() - Method in class jtabwb.engine.Trace
Prunes the trace-tree removing the inessential branches from the successful trace.
put(TraceNode, SequenceOfCtreeNodes) - Method in class jtabwb.tracesupport.ChildrenWithCtreeNodes
 
A B C D E F G H I J L M N O P R S T V W _ 
Skip navigation links