public class GraphHash extends java.lang.Object implements IStateCoder
Constructor and Description |
---|
GraphHash() |
Modifier and Type | Method and Description |
---|---|
java.lang.Object |
createActivationCode(org.eclipse.viatra.query.runtime.api.IPatternMatch match)
Returns a pseudo-unique identifier that describes the given
IPatternMatch in the context of the
underlying model's current internal state. |
java.lang.Object |
createStateCode()
Returns a pseudo-unique identifier that describes the underlying model's current internal state.
|
int |
getMaxDepth() |
void |
init(org.eclipse.emf.common.notify.Notifier notifier)
Initializes the state coder on the given model.
|
void |
resetCache() |
void |
setMaxDepth(int maxDepth) |
public void init(org.eclipse.emf.common.notify.Notifier notifier)
IStateCoder
init
in interface IStateCoder
public java.lang.Object createStateCode()
IStateCoder
createStateCode
in interface IStateCoder
Object
that can be used as the identifier.public java.lang.Object createActivationCode(org.eclipse.viatra.query.runtime.api.IPatternMatch match)
IStateCoder
IPatternMatch
in the context of the
underlying model's current internal state.createActivationCode
in interface IStateCoder
Object
that can be used as the identifier in the given state.public void resetCache()
public int getMaxDepth()
public void setMaxDepth(int maxDepth)