class TriggerUtils
extends java.lang.Object
Constructor and Description |
---|
TriggerUtils() |
Modifier and Type | Method and Description |
---|---|
static Term |
discardQuantifiers(Term qterm)
remove all the quantifiable variable bounded in the top level
of a given formula.
|
static ImmutableSet<QuantifiableVariable> |
intersect(ImmutableSet<QuantifiableVariable> set0,
ImmutableSet<QuantifiableVariable> set1) |
static boolean |
isTrueOrFalse(Term res) |
static java.util.Iterator<Term> |
iteratorByOperator(Term term,
Operator op) |
static ImmutableSet<Term> |
setByOperator(Term term,
Operator op) |
public static Term discardQuantifiers(Term qterm)
public static java.util.Iterator<Term> iteratorByOperator(Term term, Operator op)
op
public static ImmutableSet<Term> setByOperator(Term term, Operator op)
public static ImmutableSet<QuantifiableVariable> intersect(ImmutableSet<QuantifiableVariable> set0, ImmutableSet<QuantifiableVariable> set1)
set0
- set1
- public static boolean isTrueOrFalse(Term res)