org.eclipse.viatra.dse.statecode.graph.impl

Class ObjectCoder

java.lang.Object

org.eclipse.viatra.dse.statecode.graph.impl.ObjectCoder

All Implemented Interfaces:

java.lang.Comparable<ObjectCoder>

public class ObjectCoder
extends java.lang.Object
implements java.lang.Comparable<ObjectCoder>

Constructor Summary

Constructors

Constructor and Description
ObjectCoder(java.util.Collection<T> vertices, Hasher hasher) Creates the top level ObjectCoder that will

Method Summary

Methods

Modifier and Type	Method and Description
void	calculateHash(int mDepth)
int	compareTo(ObjectCoder arg0)
java.lang.String	getLabeledCode()
java.util.Map<IModelObject,ObjectCoder>	getModelObjectToObjectCoderMap()

Methods inherited from class java.lang.Object

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

Constructor Detail

ObjectCoder

public ObjectCoder(java.util.Collection<T> vertices,
           Hasher hasher)

Creates the top level ObjectCoder that will

Parameters:

vertices -

hasher -

Method Detail

getModelObjectToObjectCoderMap

public java.util.Map<IModelObject,ObjectCoder> getModelObjectToObjectCoderMap()

calculateHash

public void calculateHash(int mDepth)

compareTo

public int compareTo(ObjectCoder arg0)

Specified by:

compareTo in interface java.lang.Comparable<ObjectCoder>

getLabeledCode

public java.lang.String getLabeledCode()