Searched defs:getNormalString (Results 1 – 2 of 2) sorted by relevance
251 Node TheoryStrings::getNormalString(Node x, std::vector<Node>& nf_exp) in getNormalString() function in CVC4::theory::strings::TheoryStrings
503 getNormalString (T_NormalWord _ words) = do function506 getNormalString _ = Nothing function