/** * Creates a new complete constructor {@code AOrdRelation} node with the given nodes as children. * @deprecated This method should not be used, use AstFactory instead. * The basic child nodes are removed from their previous parents. * @param minDef_ the {@link AExplicitFunctionDefinition} node for the {@code minDef} child of this {@link AOrdRelation} node * @param maxDef_ the {@link AExplicitFunctionDefinition} node for the {@code maxDef} child of this {@link AOrdRelation} node */ public AOrdRelation(ILexLocation location_, PPattern lhsPattern_, PPattern rhsPattern_, PExp relExp_, AExplicitFunctionDefinition relDef_, AExplicitFunctionDefinition minDef_, AExplicitFunctionDefinition maxDef_) { super(location_,lhsPattern_,rhsPattern_,relExp_,relDef_); this.setMinDef(minDef_); this.setMaxDef(maxDef_); }
ordRelation.setMinDef(minD);