chord.bddbddb
Class Rel.TrioIterable<T0,T1,T2>

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

All Implemented Interfaces:

java.lang.Iterable<Trio<T0,T1,T2>>

Enclosing class:

Rel

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

Constructor Summary

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

Method Summary

java.util.Iterator<Trio<T0,T1,T2>>

iterator()

Methods inherited from class java.lang.Object

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

Constructor Detail

Rel.TrioIterable

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

Method Detail

iterator

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