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(Object arg0) |
private ImmutableSet<Substitution> |
getSubstitutionsFromTerm(Term t,
TermServices services) |
private ImmutableSet<Substitution> |
getSubstitutionsFromTermHelp(Term t,
TermServices services) |
ImmutableSet<Substitution> |
getSubstitutionsFromTerms(ImmutableSet<Term> targetTerm,
TermServices 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
|
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, TermServices services)
getSubstitutionsFromTerms
in interface Trigger
private ImmutableSet<Substitution> getSubstitutionsFromTerm(Term t, TermServices services)
private ImmutableSet<Substitution> getSubstitutionsFromTermHelp(Term t, TermServices services)
public Term getTriggerTerm()
getTriggerTerm
in interface Trigger
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()