Home
last modified time | relevance | path

Searched defs:getCommonRules (Results 1 – 2 of 2) sorted by relevance

/dports/math/cvc3/cvc3-2.4.1/src/include/
H A Dsearch.h84 CommonProofRules* getCommonRules() { return d_commonRules; } in getCommonRules() function
H A Dtheory.h96 CommonProofRules* getCommonRules() { return d_commonRules; } in getCommonRules() function