org.eclipse.viatra.dse.statecode.graph

Class GraphHasherFactory

java.lang.Object

org.eclipse.viatra.dse.statecode.graph.GraphHasherFactory

All Implemented Interfaces:

IStateCoderFactory

public class GraphHasherFactory
extends java.lang.Object
implements IStateCoderFactory

Constructor Summary

Constructors

Constructor and Description
GraphHasherFactory()
GraphHasherFactory(int maxDepth)

Method Summary

Methods

Modifier and Type	Method and Description
IStateCoder	createStateCoder() Creates a new IStateCoder instance specific to this IStateCoderFactory.
java.lang.String	toString()

Methods inherited from class java.lang.Object

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

Constructor Detail

GraphHasherFactory

public GraphHasherFactory()

GraphHasherFactory

public GraphHasherFactory(int maxDepth)

Method Detail

createStateCoder

public IStateCoder createStateCoder()

Description copied from interface: IStateCoderFactory

Creates a new IStateCoder instance specific to this IStateCoderFactory.

Specified by:

createStateCoder in interface IStateCoderFactory

Returns:

the new IStateCoder instance specific to this working model.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object