|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectde.upb.swt.mcie.robdds.ChangeSet
public class ChangeSet
This class represents a set of variables, which restrict the changed variables in a transition relation. This set can be used to calculate the predecessors of a state more efficiently. The hash table with results of earlier results will be maintained with this set.
Field Summary | |
---|---|
(package private) Context |
context
The context. |
(package private) java.util.Map |
predecessorTable
Table of predecessors calculated for this ChangeSet. |
private java.util.Set |
set
The set. |
(package private) java.util.Map |
successorTable
Table of successors calculated for this ChangeSet. |
Constructor Summary | |
---|---|
ChangeSet(Context context)
Constructs an empty change set for a given context. |
|
ChangeSet(Context context,
Variable[] variables)
Constructs a set of variables in a given context. |
Method Summary | |
---|---|
void |
add(java.lang.String name)
Adds a variable with the given name in the current context to the change set. |
void |
clearHashTables()
Clears the hash tables for the predecessor calculations with respect to this changeset. |
boolean |
contains(Variable v)
Checks whether the given variable is in this set. |
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
---|
private java.util.Set set
Context context
java.util.Map predecessorTable
java.util.Map successorTable
Constructor Detail |
---|
public ChangeSet(Context context)
context
- the context of the variablespublic ChangeSet(Context context, Variable[] variables) throws IncorrectUseException
context
- the context of the variablesvariables
- an array with all variables
IncorrectUseException
- if a variable is from a different
contextMethod Detail |
---|
public void add(java.lang.String name)
name
- public boolean contains(Variable v)
v
-
public void clearHashTables()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |