chord.bddbddb
Class Rel.IntTrioIterable

java.lang.Object
  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()