il2.inf.structure
Class InstanceIterator

Object
  extended by InstanceIterator

public final class InstanceIterator
extends Object


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

InstanceIterator

public InstanceIterator(Domain d,
                        int[] gInstance,
                        IntSet v)

InstanceIterator

public InstanceIterator(Domain d,
                        int[] gInstance,
                        IntList v)
Method Detail

next

public final int next()

flipChange

public InstanceIterator.IterationRec flipChange(IntSet fvars)

flipChange

public InstanceIterator.IterationRec flipChange(IntList fvars)


Copyright 2010 UCLA Automated Reasoning Group