Package tools.refinery.store.statecoding

Interface StateEquivalenceChecker

All Known Implementing Classes:

StateEquivalenceCheckerImpl

public interface StateEquivalenceChecker

Nested Class Summary

Nested Classes

Modifier and Type	Interface	Description
static enum	StateEquivalenceChecker.EquivalenceResult

Method Summary

Modifier and Type	Method	Description
StateEquivalenceChecker.EquivalenceResult	constructMorphism(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)