Home
last modified time | relevance | path

Searched refs:SortInferencePass (Results 1 – 3 of 3) sorted by relevance

/dports/math/cvc4/CVC4-1.7/src/preprocessing/passes/
H A Dsort_infer.cpp28 SortInferencePass::SortInferencePass(PreprocessingPassContext* preprocContext) in SortInferencePass() function in CVC4::preprocessing::passes::SortInferencePass
33 PreprocessingPassResult SortInferencePass::applyInternal( in applyInternal()
H A Dsort_infer.h35 class SortInferencePass : public PreprocessingPass
38 SortInferencePass(PreprocessingPassContext* preprocContext);
/dports/math/cvc4/CVC4-1.7/src/preprocessing/
H A Dpreprocessing_pass_registry.cpp133 registerPassInfo("sort-inference", callCtor<SortInferencePass>); in PreprocessingPassRegistry()