chord.bddbddb
Class Rel.IntTrioIterable

java.lang.Object
  extended by chord.bddbddb.Rel.IntTrioIterable
All Implemented Interfaces:
java.lang.Iterable<IntTrio>
Enclosing class:
Rel

public class Rel.IntTrioIterable
extends java.lang.Object


Constructor Summary
Rel.IntTrioIterable(net.sf.javabdd.BDD bdd, boolean[] keptDoms)
           
 
Method Summary
 java.util.Iterator<IntTrio> iterator()
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Rel.IntTrioIterable

public Rel.IntTrioIterable(net.sf.javabdd.BDD bdd,
                           boolean[] keptDoms)
Method Detail

iterator

public java.util.Iterator<IntTrio> iterator()