final Expression right = visitRowValueConstructor(ctx.rowValueConstructor(1));
// TODO refactor the below
return c(new PropositionalLogic.Elementary.Coded() {
@Override
public String code(ColumnIndexes columnIndexes) {
return String.format("%s%s%s", left.code(columnIndexes), ctx.compOp().getText(), right.code(columnIndexes));
}
});
}
private Expression visitRowValueConstructor(RowValueConstructorContext ctx) throws WrappedException, TypeCheckException, RuntimeException {