- _AbstractFormula - Interface in jtabwb.engine
-
Represents a formula during proof-search.
- _AbstractGoal - Interface in jtabwb.engine
-
An abstract goal represent a goal during proof-search.
- _AbstractRule - Interface in jtabwb.engine
-
The supertype of rules; this interface should be never implemented by itself,
but only as part of its sub-interfaces.
- _ATN - Static variable in class jtabwbx.modal.parser.ModalWffLexer
-
- _ATN - Static variable in class jtabwbx.modal.parser.ModalWffParser
-
- _ATN - Static variable in class jtabwbx.prop.parser.FormulaLexer
-
- _ATN - Static variable in class jtabwbx.prop.parser.FormulaParser
-
- _BranchExistsRule - Interface in jtabwb.engine
-
This interface describes a branch-exists rule, namely a backtrack rule that
succeeds if at least one of its subgoals succeeds.
- _ClashDetectionRule - Interface in jtabwb.engine
-
An object realizing a clash-detection rule.
- _FormulaSet - Interface in jtabwbx.prop.formula
-
Interface for a set of formulas.
- _InitialGoalBuilder - Interface in jtabwb.launcher
-
An object building the initial goal starting from a problem description.
- _LatexCTreeFormatter - Interface in jtabwb.tracesupport
-
An object implementing this interface provides to a LaTeX generator the
methods needed to construct a LaTeX representation of a C-Tree.
- _LatexSupport - Interface in jtabwb.tracesupport
-
- _MetaBacktrackRule - Interface in jtabwb.engine
-
A meta-backtrack rule specifies an enumeration of backtrack
rules to try in the proof-search.
- _ModalFormula - Interface in jtabwbx.modal.basic
-
Interface describing modal formulas on the set of connectives
ModalConnective
.
- _ModalFormulaSet - Interface in jtabwbx.modal.basic
-
Interface to be implemented by sets of modal formulas.
- _OnRuleCompletedListener - Interface in jtabwb.engine
-
Specifies that the rule implementing this interface listens for the
on-rule-completed event.
- _OnRuleResumedListener - Interface in jtabwb.engine
-
Specifies that the rule implementing this interface listens for the
on-resume-event.
- _ProblemReader - Interface in jtabwb.launcher
-
An object providing a parser for a problem description.
- _PropositionalFormula - Interface in jtabwbx.prop.basic
-
- _Prover - Interface in jtabwb.engine
-
An object realizing an instance of a prover.
- _RegularRule - Interface in jtabwb.engine
-
A regular rule is a rule generating one or more sub-goals to solve.
- _RuleWithDetails - Interface in jtabwb.engine
-
Provides some details about the rule; the method
_RuleWithDetails.getDetails()
is
invoked by the engine when it works in verbose mode to provide some extra
information about the rule application implementing this interface.
- _Sequent - Interface in jtabwbx.prop.formula
-
Interface modeling a sequent of the form S ==> T
where
S
and T
are sets of propositional formulas.
- _serializedATN - Static variable in class jtabwbx.modal.parser.ModalWffLexer
-
- _serializedATN - Static variable in class jtabwbx.modal.parser.ModalWffParser
-
- _serializedATN - Static variable in class jtabwbx.prop.parser.FormulaLexer
-
- _serializedATN - Static variable in class jtabwbx.prop.parser.FormulaParser
-
- _SingleExecutionConfigurator - Interface in jtabwb.launcher
-
- _SingleSuccedentSequent - Interface in jtabwbx.prop.formula
-
Interface modelling a sequent of the form S ==> H
where
S
is a sets of propositional formulas and H
is a
propositional formula.
- _Strategy - Interface in jtabwb.engine
-
- _toLatex(ModalFormula, boolean) - Method in class jtabwbx.modal.formula.ModalFormulaLatexFormatter
-
- _toLatex(Formula, boolean) - Method in class jtabwbx.prop.formula.FormulaLatexFormatter
-
- _TraceManager - Interface in jtabwb.tracesupport
-
- _TraceSupport - Interface in jtabwb.tracesupport
-
A prover with the methods needed to manage traces.