|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
ObjectInstanceIterator
public final class InstanceIterator
Nested Class Summary | |
---|---|
class |
InstanceIterator.IterationRec
|
Constructor Summary | |
---|---|
InstanceIterator(Domain d,
int[] gInstance,
IntList v)
|
|
InstanceIterator(Domain d,
int[] gInstance,
IntSet v)
|
Method Summary | |
---|---|
InstanceIterator.IterationRec |
flipChange(IntList fvars)
|
InstanceIterator.IterationRec |
flipChange(IntSet fvars)
|
int |
next()
|
Methods inherited from class Object |
---|
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public InstanceIterator(Domain d, int[] gInstance, IntSet v)
public InstanceIterator(Domain d, int[] gInstance, IntList v)
Method Detail |
---|
public final int next()
public InstanceIterator.IterationRec flipChange(IntSet fvars)
public InstanceIterator.IterationRec flipChange(IntList fvars)
|
||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |