Uses of Class
ca.mcscert.jpipe.operators.UnificationEquivalenceRegistry

Packages that use UnificationEquivalenceRegistry

Package	Description
ca.mcscert.jpipe.compiler.steps.transformations
ca.mcscert.jpipe.operators

Uses of UnificationEquivalenceRegistry in ca.mcscert.jpipe.compiler.steps.transformations

Constructors in ca.mcscert.jpipe.compiler.steps.transformations with parameters of type UnificationEquivalenceRegistry

Modifier	Constructor	Description
	ActionListProvider(OperatorRegistry operators, UnificationEquivalenceRegistry unificationEquivalences)
	LoadResolver(OperatorRegistry operators, UnificationEquivalenceRegistry unificationEquivalences)

Uses of UnificationEquivalenceRegistry in ca.mcscert.jpipe.operators

Constructors in ca.mcscert.jpipe.operators with parameters of type UnificationEquivalenceRegistry

Modifier	Constructor	Description
	ApplyOperator(OperatorCallConfig config, OperatorRegistry operators, UnificationEquivalenceRegistry unificationEquivalences)
	Unifier(UnificationEquivalenceRegistry registry)