CollapseNegation, CombineAnd, CombineOr, DeMorgan, QMC, SimplifyAnd, SimplifyNExprChildren, SimplifyNExpression, SimplifyNot, SimplifyOr, ToSOPpublic abstract class Rule<E extends Expression<K>,K> extends Object
| Constructor | Description |
|---|---|
Rule() |
| Modifier and Type | Method | Description |
|---|---|---|
Expression<K> |
apply(Expression<K> input,
ExprOptions<K> options) |
|
abstract Expression<K> |
applyInternal(E input,
ExprOptions<K> options) |
|
protected abstract boolean |
isApply(Expression<K> input) |
public abstract Expression<K> applyInternal(E input, ExprOptions<K> options)
public Expression<K> apply(Expression<K> input, ExprOptions<K> options)
protected abstract boolean isApply(Expression<K> input)
Copyright © 2019. All rights reserved.