yacs.domain
Class SymbolicFDDomain

java.lang.Object
  extended byyacs.domain.Domain
      extended byyacs.domain.SymbolicFDDomain
All Implemented Interfaces:
java.lang.Cloneable, java.io.Serializable

public class SymbolicFDDomain
extends Domain

Klasse zur Repräsentation einer symbolischen finiten Domäne.

Copyright (C) 2005 Wolfgang Runte

This library is free software; you can redistribute it and/or modify it under the terms of the GNU Lesser General Public License as published by the Free Software Foundation; either version 2.1 of the License, or (at your option) any later version.

This library is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more details.

You should have received a copy of the GNU Lesser General Public License along with this library; if not, write to the Free Software Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA

Version:
YACS 0.1.1
Author:
Wolfgang Runte (woru@tzi.org)
See Also:
Serialized Form

Constructor Summary
SymbolicFDDomain()
          Konstruktor -- Instantiiert eine Domäne mit symbolischen FD-Elementen.
SymbolicFDDomain(java.lang.String value)
          Konstruktor -- Die Domäne wird mit einem Wert (hier: String) instantiiert.
 
Method Summary
 boolean add(java.lang.String value)
          Vereinfacht das Hinzufügen von Elementen zu Domäne, indem lediglich ein String übergeben werden muss.
 boolean contains(java.lang.String value)
          Vereinfachte Abfragemöglichkeit, ob ein Element mit einem bestimmten Wert (hier: String) in der Domäne enthalten ist.
 
Methods inherited from class yacs.domain.Domain
add, clone, cloneDeep, containsElement, deleteElement, getElement, getElements, isEmpty, narrow, size, toString, update
 
Methods inherited from class java.lang.Object
equals, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

SymbolicFDDomain

public SymbolicFDDomain()
Konstruktor -- Instantiiert eine Domäne mit symbolischen FD-Elementen.


SymbolicFDDomain

public SymbolicFDDomain(java.lang.String value)
Konstruktor -- Die Domäne wird mit einem Wert (hier: String) instantiiert.

Parameters:
value - String
Method Detail

add

public boolean add(java.lang.String value)
Vereinfacht das Hinzufügen von Elementen zu Domäne, indem lediglich ein String übergeben werden muss. Liefert true zurück, wenn dies erfolgreich war, false wenn nicht (Wert bereits vorhanden).

Parameters:
value - String
Returns:
boolean

contains

public boolean contains(java.lang.String value)
Vereinfachte Abfragemöglichkeit, ob ein Element mit einem bestimmten Wert (hier: String) in der Domäne enthalten ist.

Parameters:
value - String
Returns:
boolean