Class Equality
- java.lang.Object
-
- org.eclipse.viatra.query.runtime.matchers.psystem.BasePConstraint
-
- org.eclipse.viatra.query.runtime.matchers.psystem.DeferredPConstraint
-
- org.eclipse.viatra.query.runtime.matchers.psystem.basicdeferred.Equality
-
- All Implemented Interfaces:
PConstraint,PTraceable
public class Equality extends DeferredPConstraint
-
-
Field Summary
-
Fields inherited from class org.eclipse.viatra.query.runtime.matchers.psystem.BasePConstraint
pBody
-
Fields inherited from interface org.eclipse.viatra.query.runtime.matchers.psystem.PConstraint
COMPARE_BY_MONOTONOUS_ID
-
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description voiddoReplaceVariable(PVariable obsolete, PVariable replacement)java.util.Set<PVariable>getDeducedVariables()The set of variables whose potential values can be enumerated (once all non-deduced variables have known values).java.util.Map<java.util.Set<PVariable>,java.util.Set<PVariable>>getFunctionalDependencies(IQueryMetaContext context)A (preferably minimal) cover of known functional dependencies between variables.PVariablegetWho()PVariablegetWithWhom()booleanisMoot()An equality is moot if it compares the a variable with itself.booleanisReadyAt(SubPlan plan, IQueryMetaContext context)protected java.lang.StringtoStringRest()-
Methods inherited from class org.eclipse.viatra.query.runtime.matchers.psystem.BasePConstraint
checkSanity, delete, getAffectedVariables, getBody, getMonotonousID, getPSystem, replaceVariable, toString
-
-
-
-
Method Detail
-
isMoot
public boolean isMoot()
An equality is moot if it compares the a variable with itself.- Returns:
- true, if the equality is moot
-
doReplaceVariable
public void doReplaceVariable(PVariable obsolete, PVariable replacement)
- Specified by:
doReplaceVariablein classBasePConstraint
-
toStringRest
protected java.lang.String toStringRest()
- Specified by:
toStringRestin classBasePConstraint
-
getWho
public PVariable getWho()
-
getWithWhom
public PVariable getWithWhom()
-
getDeducedVariables
public java.util.Set<PVariable> getDeducedVariables()
Description copied from interface:PConstraintThe set of variables whose potential values can be enumerated (once all non-deduced variables have known values).
-
getFunctionalDependencies
public java.util.Map<java.util.Set<PVariable>,java.util.Set<PVariable>> getFunctionalDependencies(IQueryMetaContext context)
Description copied from interface:PConstraintA (preferably minimal) cover of known functional dependencies between variables.- Specified by:
getFunctionalDependenciesin interfacePConstraint- Overrides:
getFunctionalDependenciesin classBasePConstraint- Returns:
- non-trivial functional dependencies in the form of {variables} --> {variables}, where dependencies with the same lhs are unified.
-
isReadyAt
public boolean isReadyAt(SubPlan plan, IQueryMetaContext context)
- Specified by:
isReadyAtin classDeferredPConstraint
-
-