/** * Creates a new complete constructor {@code SQuantifierExpBase} 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 bindList_ the {@link NodeList} node for the {@code bindList} child of this {@link SQuantifierExpBase} node * @param predicate_ the {@link SExpIR} node for the {@code predicate} child of this {@link SQuantifierExpBase} node */ public SQuantifierExpBase(SourceNode sourceNode_, Object tag_, List<? extends ClonableString> metaData_, STypeIR type_, List<? extends SMultipleBindIR> bindList_, SExpIR predicate_) { super(sourceNode_,tag_,metaData_,type_); this.setBindList(bindList_); this.setPredicate(predicate_); }
/** * Creates a new tree field only constructor {@code SQuantifierExpBase TAG=#Quantifier} 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 bindList_ the {@link NodeList} node for the {@code bindList} child of this {@link SQuantifierExpBase} node * @param predicate_ the {@link SExpIR} node for the {@code predicate} child of this {@link SQuantifierExpBase} node */ public SQuantifierExpBase(STypeIR type_, List<? extends SMultipleBindIR> bindList_, SExpIR predicate_) { super(null,null,null,type_); this.setBindList(bindList_); this.setPredicate(predicate_); }