class TwoSidedMatching
extends java.lang.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,
Services services)
creates an instance of a two sided matching
|
Modifier and Type | Method and Description |
---|---|
private ImmutableSet<Substitution> |
getAllSubstitutions(Term target,
Services services) |
(package private) ImmutableSet<Substitution> |
getSubstitutions(Services services)
returns the found matchings
|
private boolean |
isGround(Term t) |
private Substitution |
match(Term triggerTerm,
Term targetTerm,
Services 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, Services services)
trigger
- the UniTriggertargetTerm
- the term to matchservices
- the ServicesImmutableSet<Substitution> getSubstitutions(Services services)
services
- the Servicesprivate ImmutableSet<Substitution> getAllSubstitutions(Term target, Services services)
private Substitution match(Term triggerTerm, Term targetTerm, Services services)
private boolean isGround(Term t)