de.fuberlin.wiwiss.d2rq.engine
Class TransformFilterCNF.DistributiveLawApplyer
java.lang.Object
de.fuberlin.wiwiss.d2rq.engine.TransformFilterCNF.DistributiveLawApplyer
- All Implemented Interfaces:
- ExprVisitor
- Enclosing class:
- TransformFilterCNF
public static class TransformFilterCNF.DistributiveLawApplyer
- extends Object
- implements ExprVisitor
Visitor for a filter-expression. Visits every expression-node of the expression-tree
and applies the Distributive-law: a || (b && c) will become (a || b) && (a || c)
- Author:
- Herwig Leimer
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
TransformFilterCNF.DistributiveLawApplyer
public TransformFilterCNF.DistributiveLawApplyer()
- 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()