- 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
-