pair<bool,Alias<ISource> > queryNamedFunction(const char * x) { if(!d_old_function_name_valid) { vQueryNamedFunction(); }; pair<bool,Alias<ISource> > result; result.first = false; if(d_old_function_name==x) { result.first = true; result.second = inputNamedFunction(x); }; return result; };
void IISource::get(GroebnerRule & x) { Alias<ISource> iso(inputNamedFunction("Rule")); iso.access().get(x.LHS()); iso.access().get(x.RHS()); };