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

J

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