Package tools.refinery.store.statecoding.stateequivalence

Class StateEquivalenceCheckerImpl

java.lang.Object

tools.refinery.store.statecoding.stateequivalence.StateEquivalenceCheckerImpl

All Implemented Interfaces:

StateEquivalenceChecker

public class StateEquivalenceCheckerImpl
extends Object
implements StateEquivalenceChecker

Nested Class Summary

Nested classes/interfaces inherited from interface tools.refinery.store.statecoding.StateEquivalenceChecker

StateEquivalenceChecker.EquivalenceResult

Field Summary

Fields

Modifier and Type	Field	Description
static final int	LIMIT

Constructor Summary

Constructors

Constructor	Description
StateEquivalenceCheckerImpl()

Method Summary

Modifier and Type	Method	Description
StateEquivalenceChecker.EquivalenceResult	constructMorphism(IndividualsSet individuals, List<? extends AnyInterpretation> interpretations1, ObjectCode code1, List<? extends AnyInterpretation> interpretations2, ObjectCode code2)

Methods inherited from class java.lang.Object

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

Field Details

LIMIT

public static final int LIMIT

See Also:

• Constant Field Values

Constructor Details

StateEquivalenceCheckerImpl

public StateEquivalenceCheckerImpl()

Method Details

constructMorphism

public StateEquivalenceChecker.EquivalenceResult constructMorphism(IndividualsSet individuals,
 List<? extends AnyInterpretation> interpretations1,
 ObjectCode code1,
 List<? extends AnyInterpretation> interpretations2,
 ObjectCode code2)

Specified by:

constructMorphism in interface StateEquivalenceChecker