public static class TransformFilterCNF.DeMorganLawApplyer extends Object implements ExprVisitor
Constructor and Description |
---|
TransformFilterCNF.DeMorganLawApplyer()
Constructor
|
Modifier and Type | Method and Description |
---|---|
void |
finishVisit() |
Expr |
result() |
void |
startVisit() |
void |
visit(ExprAggregator eAgg) |
void |
visit(ExprFunction0 func) |
void |
visit(ExprFunction1 curExpr) |
void |
visit(ExprFunction2 curExpr) |
void |
visit(ExprFunction3 func) |
void |
visit(ExprFunctionN func) |
void |
visit(ExprFunctionOp funcOp) |
void |
visit(ExprVar nv) |
void |
visit(NodeValue nv) |
public TransformFilterCNF.DeMorganLawApplyer()
public void finishVisit()
finishVisit
in interface ExprVisitor
public void startVisit()
startVisit
in interface ExprVisitor
public void visit(NodeValue nv)
visit
in interface ExprVisitor
public void visit(ExprVar nv)
visit
in interface ExprVisitor
public void visit(ExprFunction0 func)
visit
in interface ExprVisitor
public void visit(ExprFunction1 curExpr)
visit
in interface ExprVisitor
public void visit(ExprFunction2 curExpr)
visit
in interface ExprVisitor
public void visit(ExprFunction3 func)
visit
in interface ExprVisitor
public void visit(ExprFunctionN func)
visit
in interface ExprVisitor
public void visit(ExprFunctionOp funcOp)
visit
in interface ExprVisitor
public void visit(ExprAggregator eAgg)
visit
in interface ExprVisitor
public Expr result()