public class Trigger
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private ImmutableList<Term> |
avoidConditions |
private Term |
trigger
trigger related information
|
private SchemaVariable |
triggerVar |
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() |
private final Term trigger
private final ImmutableList<Term> avoidConditions
private final SchemaVariable triggerVar
public Trigger(SchemaVariable triggerVar, Term trigger, ImmutableList<Term> avoidConditions)
public SchemaVariable getTriggerVar()
public Term getTerm()
public ImmutableList<Term> getAvoidConditions()
public boolean hasAvoidConditions()