- LatexTranslator - Class in jtabwb.tracesupport
-
This class generates a LaTeX description of a proof starting from a pruned
trace describing a successful proof search (a proof).
- LatexTranslator(Trace, _LatexCTreeFormatter) - Constructor for class jtabwb.tracesupport.LatexTranslator
-
Builds an instance of the translator which uses the specified latex
formatter to generate a proof for the specified trace.
- LatexTranslator.ProofStyle - Enum in jtabwb.tracesupport
-
The style of the generated proof.
- launch() - Method in class jtabwb.launcher.Launcher
-
Launches the prover.
- LaunchConfiguration() - Constructor for class jtabwb.launcher.Launcher.LaunchConfiguration
-
- Launcher - Class in jtabwb.launcher
-
A command line launcher for JTabWb provers.
- Launcher() - Constructor for class jtabwb.launcher.Launcher
-
Constructs a new launcher.
- Launcher.LaunchConfiguration - Class in jtabwb.launcher
-
An object of this class describes the current configuration of the
launcher.
- Launcher.TestStatus - Enum in jtabwb.launcher
-
Describes the status of a test.
- LauncherConfigurationException - Exception in jtabwb.launcher
-
Signals an error in the configuration of the launcher.
- LauncherConfigurationException() - Constructor for exception jtabwb.launcher.LauncherConfigurationException
-
- LauncherConfigurationException(String, Throwable, boolean, boolean) - Constructor for exception jtabwb.launcher.LauncherConfigurationException
-
- LauncherConfigurationException(String, Throwable) - Constructor for exception jtabwb.launcher.LauncherConfigurationException
-
- LauncherConfigurationException(String) - Constructor for exception jtabwb.launcher.LauncherConfigurationException
-
- LauncherConfigurationException(Throwable) - Constructor for exception jtabwb.launcher.LauncherConfigurationException
-
- LauncherExecutionException - Exception in jtabwb.launcher
-
Signals an error during the eecution of the launcher.
- LauncherExecutionException() - Constructor for exception jtabwb.launcher.LauncherExecutionException
-
- LauncherExecutionException(String, Throwable, boolean, boolean) - Constructor for exception jtabwb.launcher.LauncherExecutionException
-
- LauncherExecutionException(String, Throwable) - Constructor for exception jtabwb.launcher.LauncherExecutionException
-
- LauncherExecutionException(String) - Constructor for exception jtabwb.launcher.LauncherExecutionException
-
- LauncherExecutionException(Throwable) - Constructor for exception jtabwb.launcher.LauncherExecutionException
-
- LauncherOptionDefinitionException - Exception in jtabwb.launcher
-
Signals an errore in the definition of an option.
- LauncherOptionDefinitionException() - Constructor for exception jtabwb.launcher.LauncherOptionDefinitionException
-
- LauncherOptionDefinitionException(String, Throwable, boolean, boolean) - Constructor for exception jtabwb.launcher.LauncherOptionDefinitionException
-
- LauncherOptionDefinitionException(String, Throwable) - Constructor for exception jtabwb.launcher.LauncherOptionDefinitionException
-
- LauncherOptionDefinitionException(String) - Constructor for exception jtabwb.launcher.LauncherOptionDefinitionException
-
- LauncherOptionDefinitionException(Throwable) - Constructor for exception jtabwb.launcher.LauncherOptionDefinitionException
-
- leftSide() - Method in class jtabwbx.prop.formula.SequentOnBSF
-
- leftSide() - Method in class jtabwbx.prop.formula.SequentOnBSFWithFormulasByType
-
- leftSide() - Method in class jtabwbx.prop.formula.SingleSuccedentSequentOnBSF
-
Returns the bitset of formulas representing the left-hand side of this
sequent; if the left hand side is empty this method returns an empty
bitset.
- leftSideCardinality() - Method in class jtabwbx.prop.formula.SequentOnBSF
-
- leftSideCardinality() - Method in class jtabwbx.prop.formula.SequentOnBSFWithFormulasByType
-
- leftSideCardinality() - Method in class jtabwbx.prop.formula.SingleSuccedentSequentOnBSF
-
- leftSideIsEmpty() - Method in class jtabwbx.prop.formula.SingleSuccedentSequentOnBSF
-
- leftSideIterator() - Method in interface jtabwbx.prop.formula._Sequent
-
- leftSideIterator() - Method in class jtabwbx.prop.formula.SequentOnArray
-
- leftSideIterator() - Method in class jtabwbx.prop.formula.SequentOnBitSet
-
- leftSideIterator() - Method in class jtabwbx.prop.formula.SequentOnBSF
-
- leftSideIterator() - Method in class jtabwbx.prop.formula.SequentOnBSFWithFormulasByType
-
- leftSideIterator() - Method in class jtabwbx.prop.formula.SequentOnLists
-