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

L

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
 
A B C D E F G H I J L M N O P R S T V W _ 
Skip navigation links