Modifier and Type | Field and Description |
---|---|
private boolean |
isElementOfMultitrigger |
private LRUCache<Term,ImmutableSet<Substitution>> |
matchResults |
private boolean |
onlyUnify |
private Term |
trigger |
private TriggersSet |
triggerSetThisBelongsTo |
private ImmutableSet<QuantifiableVariable> |
uqvs |
Constructor and Description |
---|
UniTrigger(Term trigger,
ImmutableSet<QuantifiableVariable> uqvs,
boolean isUnify,
boolean isElementOfMultitrigger,
TriggersSet triggerSetThisBelongsTo) |
Modifier and Type | Method and Description |
---|---|
private static boolean |
containsLoop(ImmutableMap<QuantifiableVariable,Term> varMap,
QuantifiableVariable var)
Code copied from logic.EqualityConstraint
|
private static boolean |
containsLoop(Substitution subst)
Test whether this substitution constains loop.
|
boolean |
equals(java.lang.Object arg0) |
private ImmutableSet<Substitution> |
getSubstitutionsFromTerm(Term t,
Services services) |
private ImmutableSet<Substitution> |
getSubstitutionsFromTermHelp(Term t,
Services services) |
ImmutableSet<Substitution> |
getSubstitutionsFromTerms(ImmutableSet<Term> targetTerm,
Services services) |
TriggersSet |
getTriggerSetThisBelongsTo() |
Term |
getTriggerTerm() |
(package private) ImmutableSet<QuantifiableVariable> |
getUniVariables() |
int |
hashCode() |
(package private) boolean |
isElementOfMultitrigger() |
static boolean |
passedLoopTest(Term candidate,
Term searchTerm)
use similar algorithm as basic matching to detect loop
|
java.lang.String |
toString() |
private final Term trigger
private final ImmutableSet<QuantifiableVariable> uqvs
private final TriggersSet triggerSetThisBelongsTo
private final boolean onlyUnify
private final boolean isElementOfMultitrigger
private final LRUCache<Term,ImmutableSet<Substitution>> matchResults
UniTrigger(Term trigger, ImmutableSet<QuantifiableVariable> uqvs, boolean isUnify, boolean isElementOfMultitrigger, TriggersSet triggerSetThisBelongsTo)
public ImmutableSet<Substitution> getSubstitutionsFromTerms(ImmutableSet<Term> targetTerm, Services services)
getSubstitutionsFromTerms
in interface Trigger
private ImmutableSet<Substitution> getSubstitutionsFromTerm(Term t, Services services)
private ImmutableSet<Substitution> getSubstitutionsFromTermHelp(Term t, Services services)
public Term getTriggerTerm()
getTriggerTerm
in interface Trigger
public boolean equals(java.lang.Object arg0)
equals
in class java.lang.Object
public int hashCode()
hashCode
in class java.lang.Object
public java.lang.String toString()
toString
in class java.lang.Object
ImmutableSet<QuantifiableVariable> getUniVariables()
public TriggersSet getTriggerSetThisBelongsTo()
public static boolean passedLoopTest(Term candidate, Term searchTerm)
candidate
- searchTerm
- private static boolean containsLoop(Substitution subst)
private static boolean containsLoop(ImmutableMap<QuantifiableVariable,Term> varMap, QuantifiableVariable var)
boolean isElementOfMultitrigger()