Uses of Class
escjava.vcGeneration.ProverType

Packages that use ProverType

escjava.vcGeneration
escjava.vcGeneration.coq
escjava.vcGeneration.pvs
escjava.vcGeneration.sammy
escjava.vcGeneration.simplify
escjava.vcGeneration.xml

Uses of ProverType in escjava.vcGeneration

Fields in escjava.vcGeneration declared as ProverType

private ProverType	VcGenerator.prover README : This class is an interface to the vc generation suite (this is done this way to be able to put all the other classes in a new package.)
private ProverType	VariableInfo.prover
private ProverType	TypeInfo.prover
static ProverType	TNode.prover

Methods in escjava.vcGeneration with parameters of type ProverType

static void	TNode.init(ProverType prover)
protected void	TNode.generateDeclarations(java.io.Writer s, ProverType p)

Constructors in escjava.vcGeneration with parameters of type ProverType

VcGenerator(ProverType p, ASTNode e, boolean err, boolean warn, boolean info, boolean colors)

VariableInfo(java.lang.String old, TypeInfo type, java.lang.String def, ProverType prover)
Constructor for specifying the renaming of the variable.

TypeInfo(java.lang.String old, java.lang.String def, ProverType prover)
Constructor for specifying the renaming of the type.

Uses of ProverType in escjava.vcGeneration.coq

Subclasses of ProverType in escjava.vcGeneration.coq

class

CoqProver This class is an implementations of the interface ProverType.

Uses of ProverType in escjava.vcGeneration.pvs

Subclasses of ProverType in escjava.vcGeneration.pvs

class

PvsProver

Uses of ProverType in escjava.vcGeneration.sammy

Subclasses of ProverType in escjava.vcGeneration.sammy

class

SammyProver

Uses of ProverType in escjava.vcGeneration.simplify

Subclasses of ProverType in escjava.vcGeneration.simplify

class

SimplifyProver

Uses of ProverType in escjava.vcGeneration.xml

Subclasses of ProverType in escjava.vcGeneration.xml

class

XmlProver This class provides a simple mechanism by which new prover plugins to the VC generator may be implemented.