Package com.bpodgursky.jbool_expressions

Class ExprUtil

java.lang.Object

com.bpodgursky.jbool_expressions.ExprUtil

public class ExprUtil
extends Object

Constructor Summary

Constructors

Constructor	Description
ExprUtil()

Method Summary

Modifier and Type	Method	Description
static <K> void	addAll(Collection<Expression<K>> set, Expression<K>[] values)
static <K> Expression<K>[]	allExceptMatch(Expression<K>[] exprs, Expression<K> omit, ExprOptions<K> options)
static <K> Expression<K>[]	allExceptMatch(Collection<Expression<K>> exprs, Set<? extends Expression<K>> omit, ExprOptions<K> options)
static <K> Expression<K>[]	allExceptMatch(List<Expression<K>> exprs, Expression<K> omit, ExprOptions<K> options)
static <K> Expression<K>	collapseToSOP(And<K> and, Or<K> internalOr, Expression<K> omitFromOr, ExprOptions<K> options)
static <K> Expression<K>[]	expr(int length)
static <K> List<K>	getConstraintsByWeight(Expression<K> expression, ExprOptions<K> options)
static <K> Set<K>	getVariables(Expression<K> expr)
static <K> List<Expression<K>>	list(Expression... exprs)
static <K> Expression<K>	stripNegation(And<K> and, Or<K> internalOr, Expression<K> omitFromOr, ExprOptions<K> options)
static <K> Expression<K>	stripNegation(Or<K> or, And<K> internalAnd, Expression<K> omitFromAnd, ExprOptions<K> options)

Methods inherited from class java.lang.Object

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

Constructor Detail

ExprUtil

public ExprUtil()

Method Detail

collapseToSOP

public static <K> Expression<K> collapseToSOP(And<K> and,
                                              Or<K> internalOr,
                                              Expression<K> omitFromOr,
                                              ExprOptions<K> options)

stripNegation

public static <K> Expression<K> stripNegation(And<K> and,
                                              Or<K> internalOr,
                                              Expression<K> omitFromOr,
                                              ExprOptions<K> options)

stripNegation

public static <K> Expression<K> stripNegation(Or<K> or,
                                              And<K> internalAnd,
                                              Expression<K> omitFromAnd,
                                              ExprOptions<K> options)

allExceptMatch

public static <K> Expression<K>[] allExceptMatch(Collection<Expression<K>> exprs,
                                                 Set<? extends Expression<K>> omit,
                                                 ExprOptions<K> options)

allExceptMatch

public static <K> Expression<K>[] allExceptMatch(List<Expression<K>> exprs,
                                                 Expression<K> omit,
                                                 ExprOptions<K> options)

allExceptMatch

public static <K> Expression<K>[] allExceptMatch(Expression<K>[] exprs,
                                                 Expression<K> omit,
                                                 ExprOptions<K> options)

expr

public static <K> Expression<K>[] expr(int length)

addAll

public static <K> void addAll(Collection<Expression<K>> set,
                              Expression<K>[] values)

list

public static <K> List<Expression<K>> list(Expression... exprs)

getVariables

public static <K> Set<K> getVariables(Expression<K> expr)

getConstraintsByWeight

public static <K> List<K> getConstraintsByWeight(Expression<K> expression,
                                                 ExprOptions<K> options)