Package jhoafparser.extensions
Class BooleanExpressions
- java.lang.Object
-
- jhoafparser.extensions.BooleanExpressions
-
public final class BooleanExpressions extends Object
-
-
Method Summary
All Methods Static Methods Concrete Methods Modifier and Type Method Description static <T extends jhoafparser.ast.Atom>
jhoafparser.ast.BooleanExpression<T>createConjunction(Iterable<jhoafparser.ast.BooleanExpression<T>> conjuncts)
static <T extends jhoafparser.ast.Atom>
jhoafparser.ast.BooleanExpression<T>createConjunction(Iterator<jhoafparser.ast.BooleanExpression<T>> conjuncts)
static <T extends jhoafparser.ast.Atom>
jhoafparser.ast.BooleanExpression<T>createConjunction(Stream<jhoafparser.ast.BooleanExpression<T>> conjuncts)
static <T extends jhoafparser.ast.Atom>
jhoafparser.ast.BooleanExpression<T>createDisjunction(Iterable<jhoafparser.ast.BooleanExpression<T>> disjuncts)
static <T extends jhoafparser.ast.Atom>
jhoafparser.ast.BooleanExpression<T>createDisjunction(Iterator<jhoafparser.ast.BooleanExpression<T>> disjuncts)
static <T extends jhoafparser.ast.Atom>
jhoafparser.ast.BooleanExpression<T>createDisjunction(Stream<jhoafparser.ast.BooleanExpression<T>> disjuncts)
static <T extends jhoafparser.ast.Atom>
booleanevaluate(jhoafparser.ast.BooleanExpression<T> expression, Predicate<T> valuation)
static <T extends jhoafparser.ast.Atom>
List<jhoafparser.ast.BooleanExpression<T>>getConjuncts(jhoafparser.ast.BooleanExpression<T> exp)
static <T extends jhoafparser.ast.Atom>
List<jhoafparser.ast.BooleanExpression<T>>getDisjuncts(jhoafparser.ast.BooleanExpression<T> exp)
static jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance>
mkFin(int number)
static jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance>
mkInf(int number)
static jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance>
shift(jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance> expression, int offset)
static List<jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance>>
toDnf(jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance> acc)
-
-
-
Method Detail
-
evaluate
public static <T extends jhoafparser.ast.Atom> boolean evaluate(jhoafparser.ast.BooleanExpression<T> expression, Predicate<T> valuation)
-
createConjunction
public static <T extends jhoafparser.ast.Atom> jhoafparser.ast.BooleanExpression<T> createConjunction(Iterable<jhoafparser.ast.BooleanExpression<T>> conjuncts)
-
createConjunction
public static <T extends jhoafparser.ast.Atom> jhoafparser.ast.BooleanExpression<T> createConjunction(Stream<jhoafparser.ast.BooleanExpression<T>> conjuncts)
-
createConjunction
public static <T extends jhoafparser.ast.Atom> jhoafparser.ast.BooleanExpression<T> createConjunction(Iterator<jhoafparser.ast.BooleanExpression<T>> conjuncts)
-
createDisjunction
public static <T extends jhoafparser.ast.Atom> jhoafparser.ast.BooleanExpression<T> createDisjunction(Iterable<jhoafparser.ast.BooleanExpression<T>> disjuncts)
-
createDisjunction
public static <T extends jhoafparser.ast.Atom> jhoafparser.ast.BooleanExpression<T> createDisjunction(Stream<jhoafparser.ast.BooleanExpression<T>> disjuncts)
-
createDisjunction
public static <T extends jhoafparser.ast.Atom> jhoafparser.ast.BooleanExpression<T> createDisjunction(Iterator<jhoafparser.ast.BooleanExpression<T>> disjuncts)
-
getConjuncts
public static <T extends jhoafparser.ast.Atom> List<jhoafparser.ast.BooleanExpression<T>> getConjuncts(jhoafparser.ast.BooleanExpression<T> exp)
-
getDisjuncts
public static <T extends jhoafparser.ast.Atom> List<jhoafparser.ast.BooleanExpression<T>> getDisjuncts(jhoafparser.ast.BooleanExpression<T> exp)
-
mkFin
public static jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance> mkFin(int number)
-
mkInf
public static jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance> mkInf(int number)
-
shift
public static jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance> shift(jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance> expression, int offset)
-
toDnf
public static List<jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance>> toDnf(jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance> acc)
-
-