Class CallInformation
- java.lang.Object
-
- org.eclipse.viatra.query.runtime.localsearch.operations.util.CallInformation
-
public final class CallInformation extends java.lang.ObjectThis class stores a precompiled version of call-related metadata and masks for local search operations- Since:
- 1.7
-
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static CallInformationcreate(PatternCallBasedDeferred constraint, java.util.Map<PVariable,java.lang.Integer> variableMapping, java.util.Set<java.lang.Integer> bindings)static CallInformationcreate(BinaryReflexiveTransitiveClosure constraint, java.util.Map<PVariable,java.lang.Integer> variableMapping, java.util.Set<java.lang.Integer> bindings)static CallInformationcreate(BinaryTransitiveClosure constraint, java.util.Map<PVariable,java.lang.Integer> variableMapping, java.util.Set<java.lang.Integer> bindings)static CallInformationcreate(PositivePatternCall pCall, java.util.Map<PVariable,java.lang.Integer> variableMapping, java.util.Set<java.lang.Integer> bindings)IQueryReferencegetCall()CallWithAdornmentgetCallWithAdornment()int[]getFreeParameterIndices()Returns the parameter indices that are unbound before the callTupleMaskgetFullFrameMask()Returns a mask describing how all variables of a Matching Frame are mapped to parameter indexesTupleMaskgetParameterMask()Returns a mask describing the adornment the called pattern usesMatcherReferencegetReference()TupleMaskgetThinFrameMask()Returns a mask describing how the bound variables of a Matching Frame are mapped to parameter indexesjava.util.List<java.lang.Integer>getVariablePositions()java.lang.StringtoString()java.lang.StringtoString(java.util.function.Function<java.lang.Integer,java.lang.String> variableMapping)
-
-
-
Method Detail
-
create
public static CallInformation create(PatternCallBasedDeferred constraint, java.util.Map<PVariable,java.lang.Integer> variableMapping, java.util.Set<java.lang.Integer> bindings)
-
create
public static CallInformation create(PositivePatternCall pCall, java.util.Map<PVariable,java.lang.Integer> variableMapping, java.util.Set<java.lang.Integer> bindings)
-
create
public static CallInformation create(BinaryTransitiveClosure constraint, java.util.Map<PVariable,java.lang.Integer> variableMapping, java.util.Set<java.lang.Integer> bindings)
-
create
public static CallInformation create(BinaryReflexiveTransitiveClosure constraint, java.util.Map<PVariable,java.lang.Integer> variableMapping, java.util.Set<java.lang.Integer> bindings)
- Since:
- 2.0
-
getThinFrameMask
public TupleMask getThinFrameMask()
Returns a mask describing how the bound variables of a Matching Frame are mapped to parameter indexes
-
getFullFrameMask
public TupleMask getFullFrameMask()
Returns a mask describing how all variables of a Matching Frame are mapped to parameter indexes
-
getParameterMask
public TupleMask getParameterMask()
Returns a mask describing the adornment the called pattern uses
-
getReference
public MatcherReference getReference()
-
getCall
public IQueryReference getCall()
- Since:
- 2.1
-
getCallWithAdornment
public CallWithAdornment getCallWithAdornment()
- Since:
- 2.1
-
getFreeParameterIndices
public int[] getFreeParameterIndices()
Returns the parameter indices that are unbound before the call
-
getVariablePositions
public java.util.List<java.lang.Integer> getVariablePositions()
-
toString
public java.lang.String toString()
- Overrides:
toStringin classjava.lang.Object
-
toString
public java.lang.String toString(java.util.function.Function<java.lang.Integer,java.lang.String> variableMapping)
- Since:
- 2.0
-
-