Package tools.refinery.interpreter.localsearch.operations.util

Class CallInformation

java.lang.Object

tools.refinery.interpreter.localsearch.operations.util.CallInformation

public final class CallInformation
extends Object

This class stores a precompiled version of call-related metadata and masks for local search operations

Since:

1.7

Method Summary

Modifier and Type	Method	Description
static 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	create(PositivePatternCall pCall, Map<PVariable,Integer> variableMapping, Set<Integer> bindings)
IQueryReference	getCall()
CallWithAdornment	getCallWithAdornment()
int[]	getFreeParameterIndices()	Returns the parameter indices that are unbound before the call
TupleMask	getFullFrameMask()	Returns a mask describing how all variables of a Matching Frame are mapped to parameter indexes
TupleMask	getParameterMask()	Returns a mask describing the adornment the called pattern uses
MatcherReference	getReference()
TupleMask	getThinFrameMask()	Returns a mask describing how the bound variables of a Matching Frame are mapped to parameter indexes
List<Integer>	getVariablePositions()
String	toString()
String	toString(Function<Integer,String> variableMapping)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

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

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 List<Integer> getVariablePositions()

toString

public String toString()

Overrides:

toString in class Object

toString

public String toString(Function<Integer,String> variableMapping)

Since:

2.0