All Methods Static Methods Concrete Methods
Modifier and Type |
Method |
Description |
static <T extends jhoafparser.ast.Atom> jhoafparser.ast.BooleanExpression<T> |
createConjunction(java.lang.Iterable<jhoafparser.ast.BooleanExpression<T>> conjuncts) |
|
static <T extends jhoafparser.ast.Atom> jhoafparser.ast.BooleanExpression<T> |
createConjunction(java.util.Iterator<jhoafparser.ast.BooleanExpression<T>> conjuncts) |
|
static <T extends jhoafparser.ast.Atom> jhoafparser.ast.BooleanExpression<T> |
createConjunction(java.util.stream.Stream<jhoafparser.ast.BooleanExpression<T>> conjuncts) |
|
static <T extends jhoafparser.ast.Atom> jhoafparser.ast.BooleanExpression<T> |
createDisjunction(java.lang.Iterable<jhoafparser.ast.BooleanExpression<T>> disjuncts) |
|
static <T extends jhoafparser.ast.Atom> jhoafparser.ast.BooleanExpression<T> |
createDisjunction(java.util.Iterator<jhoafparser.ast.BooleanExpression<T>> disjuncts) |
|
static <T extends jhoafparser.ast.Atom> jhoafparser.ast.BooleanExpression<T> |
createDisjunction(java.util.stream.Stream<jhoafparser.ast.BooleanExpression<T>> disjuncts) |
|
static jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance> |
mkFin(int number) |
|
static jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance> |
mkInf(int number) |
|