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

_

_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
An object providing a _LatexCTreeFormatter.
_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
Interface describing propositional formulas on the set of connecetives PropositionalConnective.
_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
The strategy defines the way the proof-search space is visited; at every iteration the engine invokes _Strategy.nextRule(_AbstractGoal, IterationInfo)) to determine the rule to apply to the current-goal of the proof-search.
_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.
A B C D E F G H I J L M N O P R S T V W _ 
Skip navigation links