Searched refs:StringsPreprocess (Results 1 – 3 of 3) sorted by last modified time
326 StringsPreprocess d_preproc;642 StringsPreprocess* getPreprocess() { return &d_preproc; } in getPreprocess()
40 class StringsPreprocess {42 StringsPreprocess(SkolemCache *sc, context::UserContext *u);43 ~StringsPreprocess();
34 StringsPreprocess::StringsPreprocess(SkolemCache *sc, context::UserContext *u) in StringsPreprocess() function in CVC4::theory::strings::StringsPreprocess44 StringsPreprocess::~StringsPreprocess(){ in ~StringsPreprocess()48 Node StringsPreprocess::simplify( Node t, std::vector< Node > &new_nodes ) { in simplify()569 Node StringsPreprocess::simplifyRec( Node t, std::vector< Node > & new_nodes, std::map< Node, Node … in simplifyRec()601 Node StringsPreprocess::processAssertion( Node n, std::vector< Node > &new_nodes ) { in processAssertion()616 void StringsPreprocess::processAssertions( std::vector< Node > &vec_node ){ in processAssertions()