// Path: src/de/uni_koblenz/west/splendid/estimation/AbstractCardinalityEstimator.java
// public abstract class AbstractCardinalityEstimator extends QueryModelVisitorBase<RuntimeException> implements ModelEvaluator {
// 
// 	protected Map<TupleExpr, Double> cardIndex = new HashMap<TupleExpr, Double>();
// 	
// 	@Override
// 	public Double process(TupleExpr expr) {
// 		synchronized (this) {
// 			expr.visit(this);
// 			return cardIndex.get(expr);
// 		}
// 	}
// 	
// 	@Override
// 	public void meet(Filter filter) {
// 		
// 		// check cardinality index first
// 		if (getIndexCard(filter) != null)
// 			return;
// 		
// 		// TODO: include condition in estimation
// 		// for now use same card as sub expression
// 		filter.getArg().visit(this);
// 		
// 		// add same cardinality as filter argument
// 		setIndexCard(filter, getIndexCard(filter.getArg()));
// 	}
// 	
// 	@Override
// 	protected void meetUnaryTupleOperator(UnaryTupleOperator node)
// 			throws RuntimeException {
// 		if (node instanceof RemoteQuery) {
// 			meet((RemoteQuery) node);
// 		} else {
// 			super.meetUnaryTupleOperator(node);
// 		}
// 	}
// 	
// 	protected void meet(RemoteQuery node) {
// 		if (getIndexCard(node) != null)
// 			return;
// 		node.getArg().visit(this);
// 		setIndexCard(node, getIndexCard(node.getArg()));
// 	}
// 	
// 	protected Double getIndexCard(TupleExpr expr) {
// 		return this.cardIndex.get(expr);
// 	}
// 	
// 	protected void setIndexCard(TupleExpr expr, Double value) {
// 		this.cardIndex.put(expr, value);
// 	}
// 
// }
// 
// Path: src/de/uni_koblenz/west/splendid/estimation/AbstractCostEstimator.java
// public abstract class AbstractCostEstimator extends QueryModelVisitorBase<RuntimeException> implements ModelEvaluator {
// 	
// 	protected double cost;
// 	
// 	protected AbstractCardinalityEstimator cardEst;
// 	
// 	public AbstractCardinalityEstimator getCardinalityEstimator() {
// 		return cardEst;
// 	}
// 
// 	public void setCardinalityEstimator(AbstractCardinalityEstimator cardEst) {
// 		this.cardEst = cardEst;
// 	}
// 
// 	public Double getCost(TupleExpr expr) {
// 		cost = 0;
// 		expr.visit(this);
// 		return cost;
// 	}
// 	
// 	@Override
// 	public Double process(TupleExpr expr) {
// 		synchronized (this) {
// 			return getCost(expr);
// 		}
// 	}
// 	
// }
// 
// Path: src/de/uni_koblenz/west/splendid/estimation/ModelEvaluator.java
// public interface ModelEvaluator {
// 	
// 	public Double process(TupleExpr expr);
// 	
// 	public String getName();
// 
// }
// 
// Path: src/de/uni_koblenz/west/splendid/model/RemoteQuery.java
// public class RemoteQuery extends UnaryTupleOperator {
// 	
// 	public RemoteQuery(TupleExpr expr) {
// 		super(expr);
// 	}
// 
// 	@Override
// 	public <X extends Exception> void visit(QueryModelVisitor<X> visitor) throws X {
// 		visitor.meetOther(this);
// 	}
// 	
// 	public Set<Graph> getSources() {
// 		StatementPattern p = StatementPatternCollector.process(this).get(0);
// 		if (p instanceof MappedStatementPattern)
// 			return ((MappedStatementPattern) p).getSources();
// 		else
// 			return null;
// 	}
// 	
// }


import org.openrdf.query.algebra.helpers.QueryModelVisitorBase;
import org.openrdf.query.algebra.helpers.StatementPatternCollector;
import de.uni_koblenz.west.splendid.estimation.AbstractCardinalityEstimator;
import de.uni_koblenz.west.splendid.estimation.AbstractCostEstimator;
import de.uni_koblenz.west.splendid.estimation.ModelEvaluator;
import de.uni_koblenz.west.splendid.model.RemoteQuery;
import org.openrdf.model.URI;
import org.openrdf.model.Value;
import org.openrdf.query.algebra.BinaryTupleOperator;
import org.openrdf.query.algebra.Compare;
import org.openrdf.query.algebra.Filter;
import org.openrdf.query.algebra.QueryModelNode;
import org.openrdf.query.algebra.StatementPattern;
import org.openrdf.query.algebra.UnaryTupleOperator;
import org.openrdf.query.algebra.ValueConstant;
import org.openrdf.query.algebra.Var;
			buffer.append(indentString);
		}
	}
	
	@Override
	public void meet(Compare node) throws RuntimeException {
		node.getLeftArg().visit(this);
		buffer.append(" ").append(node.getOperator().getSymbol()).append(" ");
		node.getRightArg().visit(this);
	}

	@Override
	public void meet(Filter node) throws RuntimeException {
		addIndent();
		buffer.append("FILTER (");
		node.getCondition().visit(this);
		buffer.append(")").append(LINE_SEPARATOR);
		indentLevel++;
		node.getArg().visit(this);
		indentLevel--;
	}
	
	@Override
	public void meet(StatementPattern node) throws RuntimeException {
		addIndent();
		for (Var var : node.getVarList()) {
			var.visit(this);
			buffer.append(" ");
		}
		
// Path: src/de/uni_koblenz/west/splendid/estimation/AbstractCardinalityEstimator.java
// public abstract class AbstractCardinalityEstimator extends QueryModelVisitorBase<RuntimeException> implements ModelEvaluator {
// 
// 	protected Map<TupleExpr, Double> cardIndex = new HashMap<TupleExpr, Double>();
// 	
// 	@Override
// 	public Double process(TupleExpr expr) {
// 		synchronized (this) {
// 			expr.visit(this);
// 			return cardIndex.get(expr);
// 		}
// 	}
// 	
// 	@Override
// 	public void meet(Filter filter) {
// 		
// 		// check cardinality index first
// 		if (getIndexCard(filter) != null)
// 			return;
// 		
// 		// TODO: include condition in estimation
// 		// for now use same card as sub expression
// 		filter.getArg().visit(this);
// 		
// 		// add same cardinality as filter argument
// 		setIndexCard(filter, getIndexCard(filter.getArg()));
// 	}
// 	
// 	@Override
// 	protected void meetUnaryTupleOperator(UnaryTupleOperator node)
// 			throws RuntimeException {
// 		if (node instanceof RemoteQuery) {
// 			meet((RemoteQuery) node);
// 		} else {
// 			super.meetUnaryTupleOperator(node);
// 		}
// 	}
// 	
// 	protected void meet(RemoteQuery node) {
// 		if (getIndexCard(node) != null)
// 			return;
// 		node.getArg().visit(this);
// 		setIndexCard(node, getIndexCard(node.getArg()));
// 	}
// 	
// 	protected Double getIndexCard(TupleExpr expr) {
// 		return this.cardIndex.get(expr);
// 	}
// 	
// 	protected void setIndexCard(TupleExpr expr, Double value) {
// 		this.cardIndex.put(expr, value);
// 	}
// 
// }
// 
// Path: src/de/uni_koblenz/west/splendid/estimation/AbstractCostEstimator.java
// public abstract class AbstractCostEstimator extends QueryModelVisitorBase<RuntimeException> implements ModelEvaluator {
// 	
// 	protected double cost;
// 	
// 	protected AbstractCardinalityEstimator cardEst;
// 	
// 	public AbstractCardinalityEstimator getCardinalityEstimator() {
// 		return cardEst;
// 	}
// 
// 	public void setCardinalityEstimator(AbstractCardinalityEstimator cardEst) {
// 		this.cardEst = cardEst;
// 	}
// 
// 	public Double getCost(TupleExpr expr) {
// 		cost = 0;
// 		expr.visit(this);
// 		return cost;
// 	}
// 	
// 	@Override
// 	public Double process(TupleExpr expr) {
// 		synchronized (this) {
// 			return getCost(expr);
// 		}
// 	}
// 	
// }
// 
// Path: src/de/uni_koblenz/west/splendid/estimation/ModelEvaluator.java
// public interface ModelEvaluator {
// 	
// 	public Double process(TupleExpr expr);
// 	
// 	public String getName();
// 
// }
// 
// Path: src/de/uni_koblenz/west/splendid/model/RemoteQuery.java
// public class RemoteQuery extends UnaryTupleOperator {
// 	
// 	public RemoteQuery(TupleExpr expr) {
// 		super(expr);
// 	}
// 
// 	@Override
// 	public <X extends Exception> void visit(QueryModelVisitor<X> visitor) throws X {
// 		visitor.meetOther(this);
// 	}
// 	
// 	public Set<Graph> getSources() {
// 		StatementPattern p = StatementPatternCollector.process(this).get(0);
// 		if (p instanceof MappedStatementPattern)
// 			return ((MappedStatementPattern) p).getSources();
// 		else
// 			return null;
// 	}
// 	
// }


// Path: src/de/uni_koblenz/west/splendid/helpers/AnnotatingTreePrinter.java
import org.openrdf.query.algebra.helpers.QueryModelVisitorBase;
import org.openrdf.query.algebra.helpers.StatementPatternCollector;
import de.uni_koblenz.west.splendid.estimation.AbstractCardinalityEstimator;
import de.uni_koblenz.west.splendid.estimation.AbstractCostEstimator;
import de.uni_koblenz.west.splendid.estimation.ModelEvaluator;
import de.uni_koblenz.west.splendid.model.RemoteQuery;
import org.openrdf.model.URI;
import org.openrdf.model.Value;
import org.openrdf.query.algebra.BinaryTupleOperator;
import org.openrdf.query.algebra.Compare;
import org.openrdf.query.algebra.Filter;
import org.openrdf.query.algebra.QueryModelNode;
import org.openrdf.query.algebra.StatementPattern;
import org.openrdf.query.algebra.UnaryTupleOperator;
import org.openrdf.query.algebra.ValueConstant;
import org.openrdf.query.algebra.Var;

			buffer.append(indentString);
		}
	}
	
	@Override
	public void meet(Compare node) throws RuntimeException {
		node.getLeftArg().visit(this);
		buffer.append(" ").append(node.getOperator().getSymbol()).append(" ");
		node.getRightArg().visit(this);
	}

	@Override
	public void meet(Filter node) throws RuntimeException {
		addIndent();
		buffer.append("FILTER (");
		node.getCondition().visit(this);
		buffer.append(")").append(LINE_SEPARATOR);
		indentLevel++;
		node.getArg().visit(this);
		indentLevel--;
	}
	
	@Override
	public void meet(StatementPattern node) throws RuntimeException {
		addIndent();
		for (Var var : node.getVarList()) {
			var.visit(this);
			buffer.append(" ");
		}
		
		if (eval instanceof AbstractCostEstimator) {