|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectkodkod.engine.ucore.NaiveStrategy
public final class NaiveStrategy
A naive minimization strategy that tests the presence of each clause in the core by simply re-solving {core} - {clause}.
Constructor Summary | |
---|---|
NaiveStrategy()
Constructs a new instance of NaiveStrategy. |
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 NaiveStrategy()
no this.traces' and no this.nexts' |
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 |