public class TriggersSet
extends java.lang.Object
Trigger
s
for a quantified formula in Prenex CNF(PCNF).Modifier and Type | Method and Description |
---|---|
ImmutableSet<Trigger> |
getAllTriggers() |
Term |
getQuantifiedFormula() |
Substitution |
getReplacementWithMVs() |
ImmutableSet<QuantifiableVariable> |
getUniQuantifiedVariables() |
public Term getQuantifiedFormula()
public ImmutableSet<Trigger> getAllTriggers()
public Substitution getReplacementWithMVs()
public ImmutableSet<QuantifiableVariable> getUniQuantifiedVariables()
Copyright © 2003-2019 The KeY-Project.