Uses of Interface
escjava.pa.generic.Prover

Packages that use Prover

escjava.pa
escjava.pa.generic

Uses of Prover in escjava.pa

Classes in escjava.pa that implement Prover

class

GCProver

Uses of Prover in escjava.pa.generic

Fields in escjava.pa.generic declared as Prover

private Prover

DisjunctionProver.prover

Methods in escjava.pa.generic with parameters of type Prover

boolean	EnumNFindK.union(Prover prover)
boolean	EnumMaxClausesFindMinAbstractor.union(Prover prover)
private mocha.wrappers.jbdd.jbdd	EnumMaxClausesFindMinAbstractor.findMinClauseValid(mocha.wrappers.jbdd.jbdd oldR, Prover prover, mocha.wrappers.jbdd.jbdd a, mocha.wrappers.jbdd.jbdd b)
boolean	EnumClausesAbstractor.union(Prover prover)
boolean	BinaryDecisionTreeAbstractor.union(Prover p)
private void	BinaryDecisionTreeAbstractor.abstractHelper(int n, java.lang.String m, mocha.wrappers.jbdd.jbdd curTruthAss, java.util.Vector clauses, Prover p)
boolean	Abstractor.union(Prover p)

Constructors in escjava.pa.generic with parameters of type Prover

DisjunctionProver(Prover prover, mocha.wrappers.jbdd.jbddManager bddManager)