public class TransformFilterCNF extends TransformCopy
OpFilter
can be split into more
parts by translating it to Conjunctive Normal Form (CNF).Modifier and Type | Class and Description |
---|---|
static class |
TransformFilterCNF.DeMorganLawApplyer
Visitor for a filter-expression.
|
static class |
TransformFilterCNF.DistributiveLawApplyer
Visitor for a filter-expression.
|
COPY_ALWAYS, COPY_ONLY_ON_CHANGE
Constructor and Description |
---|
TransformFilterCNF() |
Modifier and Type | Method and Description |
---|---|
Op |
transform(OpFilter opFilter,
Op subOp) |
static ExprList |
translateFilterExpressionsToCNF(OpFilter opFilter)
Translates all expressions of a filter to the conjunctive normalform.
|
transform, transform, transform, transform, transform, transform, transform, transform, transform, transform, transform, transform, transform, transform, transform, transform, transform, transform, transform, transform, transform, transform, transform, transform, transform, transform, transform, transform, transform, transform, transform, transform
public Op transform(OpFilter opFilter, Op subOp)
transform
in interface Transform
transform
in class TransformCopy
public static ExprList translateFilterExpressionsToCNF(OpFilter opFilter)
opFilter
- - a Filter with some expressions