Modifier and Type | Field and Description |
---|---|
private Term |
clause |
private ImmutableSet<QuantifiableVariable> |
qvs |
private ImmutableSet<Trigger> |
triggers |
Constructor and Description |
---|
MultiTrigger(ImmutableSet<Trigger> triggers,
ImmutableSet<QuantifiableVariable> qvs,
Term clause) |
Modifier and Type | Method and Description |
---|---|
boolean |
equals(java.lang.Object arg0) |
ImmutableSet<Substitution> |
getSubstitutionsFromTerms(ImmutableSet<Term> targetTerms,
Services services) |
Term |
getTriggerTerm() |
int |
hashCode() |
private ImmutableSet<Substitution> |
setMultiSubstitution(java.util.Iterator<? extends Trigger> ts,
ImmutableSet<Term> terms,
Services services)
help function for getMultiSubstitution
|
java.lang.String |
toString() |
private Substitution |
unifySubstitution(Substitution sub0,
Substitution sub1)
unify two substitution, if same variable are bound with same term return
a new substitution with all universal quantifiable variables in two
substituition, otherwise return null
|
private final ImmutableSet<Trigger> triggers
private final ImmutableSet<QuantifiableVariable> qvs
private final Term clause
MultiTrigger(ImmutableSet<Trigger> triggers, ImmutableSet<QuantifiableVariable> qvs, Term clause)
public ImmutableSet<Substitution> getSubstitutionsFromTerms(ImmutableSet<Term> targetTerms, Services services)
getSubstitutionsFromTerms
in interface Trigger
private ImmutableSet<Substitution> setMultiSubstitution(java.util.Iterator<? extends Trigger> ts, ImmutableSet<Term> terms, Services services)
private Substitution unifySubstitution(Substitution sub0, Substitution sub1)
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
public Term getTriggerTerm()
getTriggerTerm
in interface Trigger