Class CallInformation
java.lang.Object
tools.refinery.interpreter.localsearch.operations.util.CallInformation
This class stores a precompiled version of call-related metadata and masks for local search operations
- Since:
- 1.7
-
Method Summary
Modifier and TypeMethodDescriptionstatic CallInformation
create
(PatternCallBasedDeferred constraint, Map<PVariable, Integer> variableMapping, Set<Integer> bindings) static CallInformation
create
(BinaryReflexiveTransitiveClosure constraint, Map<PVariable, Integer> variableMapping, Set<Integer> bindings) static CallInformation
create
(BinaryTransitiveClosure constraint, Map<PVariable, Integer> variableMapping, Set<Integer> bindings) static CallInformation
getCall()
int[]
Returns the parameter indices that are unbound before the callReturns a mask describing how all variables of a Matching Frame are mapped to parameter indexesReturns a mask describing the adornment the called pattern usesReturns a mask describing how the bound variables of a Matching Frame are mapped to parameter indexestoString()
-
Method Details
-
create
public static CallInformation create(PatternCallBasedDeferred constraint, Map<PVariable, Integer> variableMapping, Set<Integer> bindings) -
create
public static CallInformation create(PositivePatternCall pCall, Map<PVariable, Integer> variableMapping, Set<Integer> bindings) -
create
public static CallInformation create(BinaryTransitiveClosure constraint, Map<PVariable, Integer> variableMapping, Set<Integer> bindings) -
create
public static CallInformation create(BinaryReflexiveTransitiveClosure constraint, Map<PVariable, Integer> variableMapping, Set<Integer> bindings) - Since:
- 2.0
-
getThinFrameMask
Returns a mask describing how the bound variables of a Matching Frame are mapped to parameter indexes -
getFullFrameMask
Returns a mask describing how all variables of a Matching Frame are mapped to parameter indexes -
getParameterMask
Returns a mask describing the adornment the called pattern uses -
getReference
-
getCall
- Since:
- 2.1
-
getCallWithAdornment
- Since:
- 2.1
-
getFreeParameterIndices
public int[] getFreeParameterIndices()Returns the parameter indices that are unbound before the call -
getVariablePositions
-
toString
-
toString
- Since:
- 2.0
-