Searched refs:getNormalString (Results 1 – 4 of 4) sorted by relevance
199 x = d_parent.getNormalString(x, rnfexp); in check()513 Node tmp = d_parent.getNormalString(r[0], nf_exp); in getNormalSymRegExp()
283 Node getNormalString(Node x, std::vector<Node>& nf_exp);
251 Node TheoryStrings::getNormalString(Node x, std::vector<Node>& nf_exp) in getNormalString() function in CVC4::theory::strings::TheoryStrings275 Node nc = getNormalString(x[i], nf_exp); in getNormalString()403 Node ns = getNormalString( d_normal_forms_base[nr], exp[n] ); in getCurrentSubstitution()
489 str <- getNormalString val503 getNormalString (T_NormalWord _ words) = do function506 getNormalString _ = Nothing function