public interface Trigger
Modifier and Type | Method and Description |
---|---|
ImmutableSet<Substitution> |
getSubstitutionsFromTerms(ImmutableSet<Term> targetTerm,
Services services) |
Term |
getTriggerTerm() |
ImmutableSet<Substitution> getSubstitutionsFromTerms(ImmutableSet<Term> targetTerm, Services services)
targetTerm
- services
- Term getTriggerTerm()