de.fuberlin.wiwiss.d2rq.engine
Class TransformFilterCNF.DeMorganLawApplyer
java.lang.Object
de.fuberlin.wiwiss.d2rq.engine.TransformFilterCNF.DeMorganLawApplyer
- All Implemented Interfaces:
- ExprVisitor
- Enclosing class:
- TransformFilterCNF
public static class TransformFilterCNF.DeMorganLawApplyer
- extends Object
- implements ExprVisitor
Visitor for a filter-expression. Visits every expression-node of the expression-tree
and applies the DeMorgan-law: !(a || b) will become !a && !b
- Author:
- Herwig Leimer
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
TransformFilterCNF.DeMorganLawApplyer
public TransformFilterCNF.DeMorganLawApplyer()
- Constructor
finishVisit
public void finishVisit()
- Specified by:
finishVisit
in interface ExprVisitor
startVisit
public void startVisit()
- Specified by:
startVisit
in interface ExprVisitor
visit
public void visit(NodeValue nv)
- Specified by:
visit
in interface ExprVisitor
visit
public void visit(ExprVar nv)
- Specified by:
visit
in interface ExprVisitor
visit
public void visit(ExprFunction0 func)
- Specified by:
visit
in interface ExprVisitor
visit
public void visit(ExprFunction1 curExpr)
- Specified by:
visit
in interface ExprVisitor
visit
public void visit(ExprFunction2 curExpr)
- Specified by:
visit
in interface ExprVisitor
visit
public void visit(ExprFunction3 func)
- Specified by:
visit
in interface ExprVisitor
visit
public void visit(ExprFunctionN func)
- Specified by:
visit
in interface ExprVisitor
visit
public void visit(ExprFunctionOp funcOp)
- Specified by:
visit
in interface ExprVisitor
visit
public void visit(ExprAggregator eAgg)
- Specified by:
visit
in interface ExprVisitor
result
public Expr result()