Home
last modified time | relevance | path

Searched refs:getNormalString (Results 1 – 4 of 4) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/theory/strings/
H A Dregexp_solver.cpp199 x = d_parent.getNormalString(x, rnfexp); in check()
513 Node tmp = d_parent.getNormalString(r[0], nf_exp); in getNormalSymRegExp()
H A Dtheory_strings.h283 Node getNormalString(Node x, std::vector<Node>& nf_exp);
H A Dtheory_strings.cpp251 Node TheoryStrings::getNormalString(Node x, std::vector<Node>& nf_exp) in getNormalString() function in CVC4::theory::strings::TheoryStrings
275 Node nc = getNormalString(x[i], nf_exp); in getNormalString()
403 Node ns = getNormalString( d_normal_forms_base[nr], exp[n] ); in getCurrentSubstitution()
/dports/devel/hs-ShellCheck/ShellCheck-0.8.0/src/ShellCheck/
H A DAnalytics.hs489 str <- getNormalString val
503 getNormalString (T_NormalWord _ words) = do function
506 getNormalString _ = Nothing function