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) |
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()