- jtabwb.engine - package jtabwb.engine
-
Main classes implementing the engine; it specifies the interfaces with the
user defined prover.
- jtabwb.launcher - package jtabwb.launcher
-
Implementation of a command line launcher for provers.
- jtabwb.tracesupport - package jtabwb.tracesupport
-
Some tool for managing traces and C-trees, including support for LaTeX source
generation.
- jtabwb.util - package jtabwb.util
-
Contains the implementation of some useful data structures and miscellaneous utility
classes.
- JTabWbSimpleProblem - Class in jtabwbx.problems
-
Pitp problem description only contains one conjecture, the propositional
formula to prove.
- JTabWbSimpleProblem() - Constructor for class jtabwbx.problems.JTabWbSimpleProblem
-
- JTabWbSimpleProblem(String, String) - Constructor for class jtabwbx.problems.JTabWbSimpleProblem
-
- JTabWbSimpleProblem(String) - Constructor for class jtabwbx.problems.JTabWbSimpleProblem
-
- JTabWbSimpleProblemReader - Class in jtabwbx.problems
-
Instances of this class allow one to read a problem description in the JTabWb
format where a problem is specified in a file in with the following
structure:
- JTabWbSimpleProblemReader() - Constructor for class jtabwbx.problems.JTabWbSimpleProblemReader
-
Builds an instance of this problem description reader.
- jtabwbx.modal.basic - package jtabwbx.modal.basic
-
Basic classes and interfaces for propositional modla formulas.
- jtabwbx.modal.btformula - package jtabwbx.modal.btformula
-
A basic implementation of propositional modal formulas as binary trees.
- jtabwbx.modal.formula - package jtabwbx.modal.formula
-
An implementation of propositional modal formulas based on graphs.
- jtabwbx.modal.parser - package jtabwbx.modal.parser
-
An ANTLR4 parser for propositional modal formulas.
- jtabwbx.problems - package jtabwbx.problems
-
Problem description reader for problems of the ILTP library.
- jtabwbx.prop.basic - package jtabwbx.prop.basic
-
Basic classes and interfaces for propositional formulas.
- jtabwbx.prop.btformula - package jtabwbx.prop.btformula
-
A basic implementation of propositional formulas as binary trees.
- jtabwbx.prop.formula - package jtabwbx.prop.formula
-
An implementation of propositional formulas based on graphs.
- jtabwbx.prop.parser - package jtabwbx.prop.parser
-
An ANTLR4 parser for propositional formulas.