public class Trigger
extends java.lang.Object
Constructor and Description |
---|
Trigger(SchemaVariable triggerVar,
Term trigger,
ImmutableList<Term> avoidConditions) |
Modifier and Type | Method and Description |
---|---|
ImmutableList<Term> |
getAvoidConditions() |
Term |
getTerm() |
SchemaVariable |
getTriggerVar() |
boolean |
hasAvoidConditions() |
public Trigger(SchemaVariable triggerVar, Term trigger, ImmutableList<Term> avoidConditions)
public SchemaVariable getTriggerVar()
public Term getTerm()
public ImmutableList<Term> getAvoidConditions()
public boolean hasAvoidConditions()
Copyright © 2003-2019 The KeY-Project.