Add new interfaces to term formula removal and theory preprocess (#5717)
[cvc5.git] / src / theory / sep /
drwxr-xr-x   ..
-rw-r--r-- 1058 kinds
-rw-r--r-- 66443 theory_sep.cpp
-rw-r--r-- 12509 theory_sep.h
-rw-r--r-- 5943 theory_sep_rewriter.cpp
-rw-r--r-- 1798 theory_sep_rewriter.h
-rw-r--r-- 3457 theory_sep_type_rules.h