class TwoSidedMatching extends Object
Modifier and Type | Field and Description |
---|---|
private Substitution |
targetSubstWithMVs |
private Term |
targetWithMVs |
private UniTrigger |
trigger |
private Substitution |
triggerSubstWithMVs |
private Term |
triggerWithMVs |
Constructor and Description |
---|
TwoSidedMatching(UniTrigger trigger,
Term targetTerm,
TermServices services) |
Modifier and Type | Method and Description |
---|---|
private ImmutableSet<Substitution> |
getAllSubstitutions(Term target,
TermServices services) |
(package private) ImmutableSet<Substitution> |
getSubstitutions(TermServices services) |
private boolean |
isGround(Term t) |
private Substitution |
match(Term triggerTerm,
Term targetTerm,
TermServices services)
find a substitution in a allterm by using unification
|
private final UniTrigger trigger
private final Term triggerWithMVs
private final Substitution targetSubstWithMVs
private final Substitution triggerSubstWithMVs
private final Term targetWithMVs
TwoSidedMatching(UniTrigger trigger, Term targetTerm, TermServices services)
ImmutableSet<Substitution> getSubstitutions(TermServices services)
private ImmutableSet<Substitution> getAllSubstitutions(Term target, TermServices services)
private Substitution match(Term triggerTerm, Term targetTerm, TermServices services)
private boolean isGround(Term t)