Package jhoafparser.extensions

Class BooleanExpressions

java.lang.Object

jhoafparser.extensions.BooleanExpressions

public final class BooleanExpressions
extends Object

Method Summary

Modifier and Type	Method	Description
static <T extends jhoafparser.ast.Atom> jhoafparser.ast.BooleanExpression<T>	createConjunction(Iterable<jhoafparser.ast.BooleanExpression<T>> conjuncts)
static jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance>	fromPropositionalFormula(PropositionalFormula<Integer> formula)
static <A extends jhoafparser.ast.Atom> jhoafparser.ast.BooleanExpression<A>	fromPropositionalFormula(PropositionalFormula<Integer> formula, Function<? super Integer,? extends jhoafparser.ast.BooleanExpression<A>> mapper)
static <A extends jhoafparser.ast.Atom> jhoafparser.ast.BooleanExpression<A>	fromPropositionalFormula(PropositionalFormula<Integer> formula, Function<? super Integer,? extends jhoafparser.ast.BooleanExpression<A>> mapper, Function<? super Integer,? extends jhoafparser.ast.BooleanExpression<A>> negatedMapper)
static jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance>	mkFin(int number)
static jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance>	mkInf(int number)
static List<jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance>>	toDnf(jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance> acc)
static PropositionalFormula<Integer>	toPropositionalFormula(jhoafparser.ast.BooleanExpression<? extends jhoafparser.ast.AtomAcceptance> expression)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

createConjunction

public static <T extends jhoafparser.ast.Atom> jhoafparser.ast.BooleanExpression<T> createConjunction(Iterable<jhoafparser.ast.BooleanExpression<T>> conjuncts)

mkFin

public static jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance> mkFin(int number)

mkInf

public static jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance> mkInf(int number)

toDnf

public static List<jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance>> toDnf(jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance> acc)

toPropositionalFormula

public static PropositionalFormula<Integer> toPropositionalFormula(jhoafparser.ast.BooleanExpression<? extends jhoafparser.ast.AtomAcceptance> expression)

fromPropositionalFormula

public static jhoafparser.ast.BooleanExpression<jhoafparser.ast.AtomAcceptance> fromPropositionalFormula(PropositionalFormula<Integer> formula)

fromPropositionalFormula

public static <A extends jhoafparser.ast.Atom> jhoafparser.ast.BooleanExpression<A> fromPropositionalFormula(PropositionalFormula<Integer> formula,
                                                                                                             Function<? super Integer,? extends jhoafparser.ast.BooleanExpression<A>> mapper)

fromPropositionalFormula

public static <A extends jhoafparser.ast.Atom> jhoafparser.ast.BooleanExpression<A> fromPropositionalFormula(PropositionalFormula<Integer> formula,
                                                                                                             Function<? super Integer,? extends jhoafparser.ast.BooleanExpression<A>> mapper,
                                                                                                             Function<? super Integer,? extends jhoafparser.ast.BooleanExpression<A>> negatedMapper)