public static AOrdRelation newAOrdRelation(PPattern leftPattern, PPattern rightPattern, PExp exp) { AOrdRelation result = new AOrdRelation(); result.setLhsPattern(leftPattern); result.setRhsPattern(rightPattern); result.setRelExp(exp); return result; }