org.ginsim.service.tool.avatar.domain

Class AbstractStateSet

java.lang.Object

org.ginsim.service.tool.avatar.domain.AbstractStateSet

Direct Known Subclasses:

CompactStateSet, MDDStateSet, StateSet

public abstract class AbstractStateSet
extends Object

Abstract class enclosing a state-set
State-sets can be implemented in multiple ways (e.g. lists/maps of states, MDDs, etc.)
Subclasses can be defined accordingly

Version:

1.0

Author:

Rui Henriques

Constructor Summary

Constructors

Constructor and Description
AbstractStateSet()

Method Summary

Modifier and Type	Method and Description
abstract boolean	contains(State s) Checks whether a given state is contained in the state-set
String	getKey() Returns the unique identifier of the state-set If two state-sets have the same states they share the same key
abstract Collection<String>	getKeys()
void	setKey(String _key)
abstract int	size()

Methods inherited from class java.lang.Object

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

Constructor Detail

AbstractStateSet

public AbstractStateSet()

Method Detail

contains

public abstract boolean contains(State s)

Checks whether a given state is contained in the state-set

Parameters:

s - state to be checked

Returns:

true if the given state is contained in the state-set

size

public abstract int size()

getKeys

public abstract Collection<String> getKeys()

getKey

public String getKey()

Returns the unique identifier of the state-set
If two state-sets have the same states they share the same key

Returns:

the unique identifier of the state-set

setKey

public void setKey(String _key)