de.uka.ilkd.key.strategy.quantifierHeuristics

Interface Trigger

All Known Implementing Classes:

MultiTrigger, UniTrigger

public interface Trigger

Method Summary

Modifier and Type	Method and Description
ImmutableSet<Substitution>	getSubstitutionsFromTerms(ImmutableSet<Term> targetTerm, Services services)
Term	getTriggerTerm()

Method Detail

getSubstitutionsFromTerms

ImmutableSet<Substitution> getSubstitutionsFromTerms(ImmutableSet<Term> targetTerm,
                                                     Services services)

Parameters:

targetTerm -

services -

Returns:

all substitution that found from the targeTerm by matching this trigger to targeTerm.

getTriggerTerm

Term getTriggerTerm()