Skip navigation links

JTabWb

Packages 
Package Description
jtabwb.engine
Main classes implementing the engine; it specifies the interfaces with the user defined prover.
jtabwb.launcher
Implementation of a command line launcher for provers.
jtabwb.tracesupport
Some tool for managing traces and C-trees, including support for LaTeX source generation.
jtabwb.util
Contains the implementation of some useful data structures and miscellaneous utility classes.
jtabwbx.modal.basic
Basic classes and interfaces for propositional modla formulas.
jtabwbx.modal.btformula
A basic implementation of propositional modal formulas as binary trees.
jtabwbx.modal.formula
An implementation of propositional modal formulas based on graphs.
jtabwbx.modal.parser
An ANTLR4 parser for propositional modal formulas.
jtabwbx.problems
Problem description reader for problems of the ILTP library.
jtabwbx.prop.basic
Basic classes and interfaces for propositional formulas.
jtabwbx.prop.btformula
A basic implementation of propositional formulas as binary trees.
jtabwbx.prop.formula
An implementation of propositional formulas based on graphs.
jtabwbx.prop.parser
An ANTLR4 parser for propositional formulas.
Skip navigation links