Home
last modified time | relevance | path

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

/dports/math/cvc4/CVC4-1.7/src/preprocessing/
H A Dpreprocessing_pass_context.h54 theory::booleans::CircuitPropagator* getCircuitPropagator() in getCircuitPropagator() function
/dports/math/cvc4/CVC4-1.7/src/preprocessing/passes/
H A Dnon_clausal_simp.cpp62 d_preprocContext->getCircuitPropagator(); in applyInternal()
H A Dmiplib_trick.cpp186 d_preprocContext->getCircuitPropagator(); in applyInternal()