class Matching
extends java.lang.Object
Modifier | Constructor and Description |
---|---|
private |
Matching() |
Modifier and Type | Method and Description |
---|---|
static ImmutableSet<Substitution> |
basicMatching(Trigger trigger,
Term targetTerm)
matching
trigger to targetTerm recursively |
static ImmutableSet<Substitution> |
twoSidedMatching(UniTrigger trigger,
Term targetTerm,
Services services) |
public static ImmutableSet<Substitution> basicMatching(Trigger trigger, Term targetTerm)
trigger
to targetTerm
recursivelytrigger
- a uni-triggertargetTerm
- a gound termpublic static ImmutableSet<Substitution> twoSidedMatching(UniTrigger trigger, Term targetTerm, Services services)