Package tools.refinery.store.statecoding
Interface StateEquivalenceChecker
- All Known Implementing Classes:
StateEquivalenceCheckerImpl
public interface StateEquivalenceChecker
-
Nested Class Summary
-
Method Summary
Modifier and TypeMethodDescriptionconstructMorphism
(IndividualsSet individuals, List<? extends AnyInterpretation> interpretations1, ObjectCode code1, List<? extends AnyInterpretation> interpretations2, ObjectCode code2)
-
Method Details
-
constructMorphism
StateEquivalenceChecker.EquivalenceResult constructMorphism(IndividualsSet individuals, List<? extends AnyInterpretation> interpretations1, ObjectCode code1, List<? extends AnyInterpretation> interpretations2, ObjectCode code2)
-