net.sf.bddbddb.dataflow
Class DefUse.OperationSet

java.lang.Object
  java.util.AbstractCollection<E>
      java.util.AbstractSet
          net.sf.bddbddb.dataflow.DefUse.OperationSet

All Implemented Interfaces:

java.lang.Iterable, java.util.Collection, java.util.Set

Enclosing class:

DefUse

public class DefUse.OperationSet
extends java.util.AbstractSet

Constructor Summary

DefUse.OperationSet(jwutil.math.BitString s)

Method Summary

boolean	contains(java.lang.Object o)
java.util.Iterator	iterator()
int	size()

Methods inherited from class java.util.AbstractSet

equals, hashCode, removeAll

Methods inherited from class java.util.AbstractCollection

add, addAll, clear, containsAll, isEmpty, remove, retainAll, toArray, toArray, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Set

add, addAll, clear, containsAll, isEmpty, remove, retainAll, toArray, toArray

Constructor Detail

DefUse.OperationSet

public DefUse.OperationSet(jwutil.math.BitString s)

Parameters:

s -

Method Detail

iterator

public java.util.Iterator iterator()

Specified by:

iterator in interface java.lang.Iterable

Specified by:

iterator in interface java.util.Collection

Specified by:

iterator in interface java.util.Set

Specified by:

iterator in class java.util.AbstractCollection

contains

public boolean contains(java.lang.Object o)

Specified by:

contains in interface java.util.Collection

Specified by:

contains in interface java.util.Set

Overrides:

contains in class java.util.AbstractCollection

size

public int size()

Specified by:

size in interface java.util.Collection

Specified by:

size in interface java.util.Set

Specified by:

size in class java.util.AbstractCollection