|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectkodkod.engine.ucore.EmptyClauseConeStrategy
public final class EmptyClauseConeStrategy
A non-optimal minimization strategy based on the Empty Clause Cone algorithm.
Constructor Summary | |
---|---|
EmptyClauseConeStrategy()
Constructs a new instance of the empty clause cone strategy for minimizing unsatisfiable cores. |
Method Summary | |
---|---|
IntSet |
next(ResolutionTrace trace)
Returns the next subtrace of the specified trace to be analyzed, given as a set of indices into the trace. |
Methods inherited from class java.lang.Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public EmptyClauseConeStrategy()
Method Detail |
---|
public IntSet next(ResolutionTrace trace)
next
in interface ReductionStrategy
ReductionStrategy.next(kodkod.engine.satlab.ResolutionTrace)
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |