public abstract class Instruction<OP extends Operator> extends java.lang.Object implements MatchInstruction
Modifier | Constructor and Description |
---|---|
protected |
Instruction(OP op) |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
match
protected Instruction(OP op)
public static Instruction<Operator> matchOp(Operator op)
public static Instruction<SortDependingFunction> matchSortDependingFunction(SortDependingFunction op)
public static MatchSchemaVariableInstruction<? extends SchemaVariable> matchModalOperatorSV(ModalOperatorSV sv)
public static MatchSchemaVariableInstruction<? extends SchemaVariable> matchFormulaSV(FormulaSV sv)
public static MatchSchemaVariableInstruction<? extends SchemaVariable> matchTermSV(TermSV sv)
public static MatchSchemaVariableInstruction<? extends SchemaVariable> matchVariableSV(VariableSV sv)
public static MatchSchemaVariableInstruction<? extends SchemaVariable> matchProgramSV(ProgramSV sv)
public static MatchSchemaVariableInstruction<? extends SchemaVariable> matchUpdateSV(UpdateSV sv)
public static MatchInstruction matchTermLabelSV(ImmutableArray<TermLabel> labels)
public static MatchInstruction matchProgram(JavaProgramElement prg)
public static MatchInstruction matchAndBindVariables(ImmutableArray<QuantifiableVariable> boundVars)
public static MatchInstruction unbindVariables(ImmutableArray<QuantifiableVariable> boundVars)
public static MatchInstruction matchElementaryUpdate(ElementaryUpdate elementaryUpdate)
public abstract MatchConditions match(Term instantiationCandidate, MatchConditions matchCond, Services services)
Term
instantiationCandidate
w.r.t. the given constraints by MatchConditions
instantiationCandidate
- the Term
to be matchedmatchCond
- the MatchConditions
with additional constraints (e.g. previous matches of this schemavariable)services
- the Services
null
if no matches have been found or the new MatchConditions
with the pair (sv, instantiationCandidate)
added