Searched refs:SK_SUFFIX_REM (Results 1 – 2 of 2) sorted by relevance
/dports/math/cvc4/CVC4-1.7/src/theory/strings/ | ||
H A D | skolem_cache.h | 104 SK_SUFFIX_REM, enumerator |
H A D | theory_strings_preprocess.cpp | 77 s, t12, SkolemCache::SK_SUFFIX_REM, "sssufr"); in simplify() |