Class StateEquivalenceCheckerImpl
java.lang.Object
tools.refinery.store.statecoding.stateequivalence.StateEquivalenceCheckerImpl
- All Implemented Interfaces:
StateEquivalenceChecker
-
Nested Class Summary
Nested classes/interfaces inherited from interface tools.refinery.store.statecoding.StateEquivalenceChecker
StateEquivalenceChecker.EquivalenceResult
-
Field Summary
-
Constructor Summary
-
Method Summary
Modifier and TypeMethodDescriptionconstructMorphism
(IndividualsSet individuals, List<? extends AnyInterpretation> interpretations1, ObjectCode code1, List<? extends AnyInterpretation> interpretations2, ObjectCode code2)
-
Field Details
-
LIMIT
public static final int LIMIT- See Also:
-
-
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 interfaceStateEquivalenceChecker
-