chord.bddbddb
Class Rel.HextIterable<T0,T1,T2,T3,T4,T5>

java.lang.Object
  chord.bddbddb.Rel.HextIterable<T0,T1,T2,T3,T4,T5>

All Implemented Interfaces:

java.lang.Iterable<Hext<T0,T1,T2,T3,T4,T5>>

Enclosing class:

Rel

public class Rel.HextIterable<T0,T1,T2,T3,T4,T5>
extends java.lang.Object

Constructor Summary

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

Method Summary

java.util.Iterator<Hext<T0,T1,T2,T3,T4,T5>>

iterator()

Methods inherited from class java.lang.Object

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

Constructor Detail

Rel.HextIterable

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

Method Detail

iterator

public java.util.Iterator<Hext<T0,T1,T2,T3,T4,T5>> iterator()