Uses of Interface
ca.mcscert.jpipe.operators.EquivalenceRelation

Packages that use EquivalenceRelation

Package	Description
ca.mcscert.jpipe.operators
ca.mcscert.jpipe.operators.builtin
ca.mcscert.jpipe.operators.equivalences

Uses of EquivalenceRelation in ca.mcscert.jpipe.operators

Subclasses with type arguments of type EquivalenceRelation in ca.mcscert.jpipe.operators

Modifier and Type	Class	Description
final class	UnificationEquivalenceRegistry	Name-to-EquivalenceRelation registry used by Unifier for the automatic post-composition unification phase.

Methods in ca.mcscert.jpipe.operators that return EquivalenceRelation

Modifier and Type	Method	Description
protected abstract EquivalenceRelation	CompositionOperator.equivalenceRelation(List<JustificationModel<?>> sources, Map<String,String> arguments)	Returns the equivalence relation to use for partitioning elements from sources and arguments.

Methods in ca.mcscert.jpipe.operators with parameters of type EquivalenceRelation

Modifier and Type	Method	Description
void	UnificationEquivalenceRegistry.register(String name, EquivalenceRelation relation)	Registers relation under name.

Uses of EquivalenceRelation in ca.mcscert.jpipe.operators.builtin

Methods in ca.mcscert.jpipe.operators.builtin that return EquivalenceRelation

Modifier and Type	Method	Description
protected EquivalenceRelation	AssembleOperator.equivalenceRelation(List<JustificationModel<?>> sources, Map<String,String> arguments)
protected EquivalenceRelation	RefineOperator.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 EquivalenceRelation

Modifier and Type	Class	Description
final class	SameLabel	Two elements are equivalent iff they share the same label, regardless of their ids or source models.
final class	SameShortId	Two elements are equivalent iff their ids are identical after stripping any namespace prefix (the last colon-separated segment).