de.rwth.domains
Class Set.Default

java.lang.Object
  |
  +--de.rwth.domains.Set.Default

Enclosing class:

Set

public static class Set.Default

extends java.lang.Object

Container class for default implementations of methods.

Constructor Summary

Set.Default()

Method Summary

static boolean

isElement(Set set, java.lang.Object e) Default implementation for Set.isElement(Object e).

Methods inherited from class java.lang.Object

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

Constructor Detail

Set.Default

public Set.Default()

Method Detail

isElement

public static boolean isElement(Set set,
                                java.lang.Object e)

Default implementation for Set.isElement(Object e). It checks if an element is contained in a set by iterating over all elements. This is useful for finite sets only.

Parameters:

set - a Set value

e - an Object value

Returns:

a boolean value