class BasicMatching
extends java.lang.Object
Modifier | Constructor and Description |
---|---|
private |
BasicMatching() |
Modifier and Type | Method and Description |
---|---|
(package private) static ImmutableSet<Substitution> |
getSubstitutions(Term trigger,
Term targetTerm)
matching
trigger to targetTerm recursively |
private static ImmutableMap<QuantifiableVariable,Term> |
mapVarWithCheck(ImmutableMap<QuantifiableVariable,Term> varMap,
QuantifiableVariable var,
Term instance)
match a variable to a instance.
|
private static Substitution |
match(Term pattern,
Term instance) |
private static ImmutableMap<QuantifiableVariable,Term> |
matchRec(ImmutableMap<QuantifiableVariable,Term> varMap,
Term pattern,
Term instance)
match the pattern to instance recursively.
|
static ImmutableSet<Substitution> getSubstitutions(Term trigger, Term targetTerm)
trigger
to targetTerm
recursivelytrigger
- a uni-triggertargetTerm
- a gound termprivate static Substitution match(Term pattern, Term instance)
pattern
- instance
- private static ImmutableMap<QuantifiableVariable,Term> matchRec(ImmutableMap<QuantifiableVariable,Term> varMap, Term pattern, Term instance)
private static ImmutableMap<QuantifiableVariable,Term> mapVarWithCheck(ImmutableMap<QuantifiableVariable,Term> varMap, QuantifiableVariable var, Term instance)