escjava.pa.generic
Interface Prover

All Known Implementing Classes:

GCProver

public interface Prover

Field Summary

static int	INVALID
static int	UNKNOWN
static int	VALID

Method Summary

boolean	check(mocha.wrappers.jbdd.jbdd b)
java.lang.String	printClause(mocha.wrappers.jbdd.jbdd b)
int	quickCheck(mocha.wrappers.jbdd.jbdd b)
java.lang.String	report()

Field Detail

VALID

public static final int VALID

See Also:

Constant Field Values

INVALID

public static final int INVALID

See Also:

Constant Field Values

UNKNOWN

public static final int UNKNOWN

See Also:

Constant Field Values

Method Detail

check

public boolean check(mocha.wrappers.jbdd.jbdd b)

quickCheck

public int quickCheck(mocha.wrappers.jbdd.jbdd b)

printClause

public java.lang.String printClause(mocha.wrappers.jbdd.jbdd b)

report

public java.lang.String report()