@Override public void addOrderCondition(Variable var, int direction) { OrderCondition condition = new OrderConditionImpl(var, direction); orderConditions.add(condition); }
@Override public OrderCondition newVariable(Variable newVariable) { return new OrderConditionImpl(newVariable, direction); }