Uses of Class
jtabwb.engine.ProverName

Packages that use ProverName

Package	Description
jtabwb.engine	Main classes implementing the engine; it specifies the interfaces with the user defined prover.
jtabwb.tracesupport	Some tool for managing traces and C-trees, including support for LaTeX source generation.

Uses of ProverName in jtabwb.engine

Methods in jtabwb.engine that return ProverName

Modifier and Type	Method and Description
ProverName	_Prover.getProverName() Returns an object describing the detailed name of the prover.

Methods in jtabwb.engine with parameters of type ProverName

Modifier and Type	Method and Description
int	ProverName.compareTo(ProverName o)

Uses of ProverName in jtabwb.tracesupport

Methods in jtabwb.tracesupport that return ProverName

Modifier and Type	Method and Description
ProverName	Validator.getProverName()