chord.bddbddb
Class Rel.QuadIterable<T0,T1,T2,T3>

java.lang.Object
  chord.bddbddb.Rel.QuadIterable<T0,T1,T2,T3>

All Implemented Interfaces:

java.lang.Iterable<Quad<T0,T1,T2,T3>>

Enclosing class:

Rel

public class Rel.QuadIterable<T0,T1,T2,T3>
extends java.lang.Object

Constructor Summary

Rel.QuadIterable(net.sf.javabdd.BDD bdd, boolean[] keptDoms)

Method Summary

java.util.Iterator<Quad<T0,T1,T2,T3>>

iterator()

Methods inherited from class java.lang.Object

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

Constructor Detail

Rel.QuadIterable

public Rel.QuadIterable(net.sf.javabdd.BDD bdd,
                        boolean[] keptDoms)

Method Detail

iterator

public java.util.Iterator<Quad<T0,T1,T2,T3>> iterator()