All Methods Static Methods Concrete Methods
Modifier and Type |
Method |
Description |
static <T> java.util.Set<T> |
collect(java.util.function.Function<Formula,T> function,
java.lang.Iterable<? extends Formula> formulas) |
|
static <T> java.util.Set<T> |
collect(java.util.function.Function<Formula,T> function,
Formula formula) |
|
static <T> java.util.Set<T> |
collect(java.util.function.Function<Formula,T> function,
Formula... formulas) |
|
static java.util.Set<Formula> |
collect(java.util.function.Predicate<Formula> predicate,
java.lang.Iterable<? extends Formula> formulas) |
|
static java.util.Set<Formula> |
collect(java.util.function.Predicate<Formula> predicate,
Formula... formulas) |
|
static java.util.BitSet |
collectAtoms(java.lang.Iterable<? extends Formula> formulas) |
|
static java.util.BitSet |
collectAtoms(java.lang.Iterable<? extends Formula> formulas,
boolean negated) |
|
static java.util.BitSet |
collectAtoms(Formula formula) |
|
static java.util.BitSet |
collectAtoms(Formula formula,
boolean negated) |
|
static java.util.Set<FOperator> |
collectFOperators(Formula formula) |
|
static java.util.Set<GOperator> |
collectGOperators(Formula formula) |
|
static java.util.Set<FOperator> |
collectTransformedFOperators(java.lang.Iterable<? extends Formula> formulas) |
|
static java.util.Set<FOperator> |
collectTransformedFOperators(Formula formula) |
|
static java.util.Set<GOperator> |
collectTransformedGOperators(java.lang.Iterable<? extends Formula> formulas) |
|
static java.util.Set<GOperator> |
collectTransformedGOperators(Formula formula) |
|
static FOperator |
transformToFOperator(Formula formula) |
|
static GOperator |
transformToGOperator(Formula formula) |
|