jml2b.util
Class ModifiableSet

java.lang.Object
  jml2b.util.ModifiableSet

public class ModifiableSet

extends java.lang.Object

Author:

M. Pavlova, L. Burdy

Constructor Summary

ModifiableSet()

ModifiableSet(java.util.HashSet set)

Method Summary

void	addAll(java.util.Set another)
boolean	containsOne(java.util.Set s)
java.util.HashSet	getSet()

Methods inherited from class java.lang.Object

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

Constructor Detail

ModifiableSet

public ModifiableSet()

ModifiableSet

public ModifiableSet(java.util.HashSet set)

Method Detail

addAll

public void addAll(java.util.Set another)

getSet

public java.util.HashSet getSet()

containsOne

public boolean containsOne(java.util.Set s)