escjava.pa.generic
Class EnumMaxClausesFindMinAbstractor

java.lang.Object
  escjava.pa.generic.EnumMaxClausesFindMinAbstractor

All Implemented Interfaces:

Abstractor

public class EnumMaxClausesFindMinAbstractor

extends java.lang.Object

implements Abstractor

Field Summary

private mocha.wrappers.jbdd.jbddManager	bddManager
private java.util.Vector	clauses
private static boolean	doRestrict
private boolean	noisy
private mocha.wrappers.jbdd.jbdd	R

Constructor Summary

EnumMaxClausesFindMinAbstractor(mocha.wrappers.jbdd.jbddManager bddManager)

Method Summary

private mocha.wrappers.jbdd.jbdd	findMinClauseValid(mocha.wrappers.jbdd.jbdd oldR, Prover prover, mocha.wrappers.jbdd.jbdd a, mocha.wrappers.jbdd.jbdd b)
mocha.wrappers.jbdd.jbdd	get()
java.util.Vector	getClauses()
private void	say(java.lang.String s)
boolean	union(Prover prover)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

bddManager

private mocha.wrappers.jbdd.jbddManager bddManager

R

private mocha.wrappers.jbdd.jbdd R

clauses

private java.util.Vector clauses

noisy

private boolean noisy

doRestrict

private static boolean doRestrict

Constructor Detail

EnumMaxClausesFindMinAbstractor

public EnumMaxClausesFindMinAbstractor(mocha.wrappers.jbdd.jbddManager bddManager)

Method Detail

get

public mocha.wrappers.jbdd.jbdd get()

Specified by:

get in interface Abstractor

getClauses

public java.util.Vector getClauses()

Specified by:

getClauses in interface Abstractor

union

public boolean union(Prover prover)

Specified by:

union in interface Abstractor

findMinClauseValid

private mocha.wrappers.jbdd.jbdd findMinClauseValid(mocha.wrappers.jbdd.jbdd oldR,
                                                    Prover prover,
                                                    mocha.wrappers.jbdd.jbdd a,
                                                    mocha.wrappers.jbdd.jbdd b)

say

private void say(java.lang.String s)