Uses of Interface
ca.mcscert.jpipe.operators.EquivalenceRelation
Packages that use EquivalenceRelation
Package
Description
-
Uses of EquivalenceRelation in ca.mcscert.jpipe.operators
Subclasses with type arguments of type EquivalenceRelation in ca.mcscert.jpipe.operatorsModifier and TypeClassDescriptionfinal className-to-EquivalenceRelationregistry used byUnifierfor the automatic post-composition unification phase.Methods in ca.mcscert.jpipe.operators that return EquivalenceRelationModifier and TypeMethodDescriptionprotected abstract EquivalenceRelationCompositionOperator.equivalenceRelation(List<JustificationModel<?>> sources, Map<String, String> arguments) Returns the equivalence relation to use for partitioning elements fromsourcesandarguments.Methods in ca.mcscert.jpipe.operators with parameters of type EquivalenceRelationModifier and TypeMethodDescriptionvoidUnificationEquivalenceRegistry.register(String name, EquivalenceRelation relation) Registersrelationundername. -
Uses of EquivalenceRelation in ca.mcscert.jpipe.operators.builtin
Methods in ca.mcscert.jpipe.operators.builtin that return EquivalenceRelationModifier and TypeMethodDescriptionprotected EquivalenceRelationAssembleOperator.equivalenceRelation(List<JustificationModel<?>> sources, Map<String, String> arguments) protected EquivalenceRelationRefineOperator.equivalenceRelation(List<JustificationModel<?>> sources, Map<String, String> arguments) -
Uses of EquivalenceRelation in ca.mcscert.jpipe.operators.equivalences
Classes in ca.mcscert.jpipe.operators.equivalences that implement EquivalenceRelationModifier and TypeClassDescriptionfinal classTwo elements are equivalent iff they share the same label, regardless of their ids or source models.final classTwo elements are equivalent iff their ids are identical after stripping any namespace prefix (the last colon-separated segment).