Searched defs:isAssump (Results 1 – 4 of 4) sorted by relevance
| /dports/math/cvc3/cvc3-2.4.1/src/theorem/ |
| H A D | theorem_value.h | 111 const Proof& pf, bool isAssump) : in TheoremValue()
315 bool isAssump() const { return d_isAssump; } in isAssump() function
357 : TheoremValue(tm, thm, pf, isAssump), d_assump(assump) in TheoremValue() argument
490 : TheoremValue(tm, Expr(), pf, isAssump), d_lhs(lhs), d_rhs(rhs), d_assump(NULL) in TheoremValue() argument
497 : TheoremValue(tm, thm, pf, isAssump), d_lhs(thm[0]), d_rhs(thm[1]), d_assump(NULL) in TheoremValue() argument
|
| H A D | theorem.cpp | 133 bool isAssump, int scope) { in Theorem()
153 const Assumptions& assump, const Proof& pf, bool isAssump, in Theorem()
395 bool Theorem::isAssump() const { in isAssump() function in CVC3::Theorem
|
| /dports/math/cvc3/cvc3-2.4.1/src/include/ |
| H A D | theorem.h | 327 : d_thm(tm, thm, assump, pf, isAssump, scope) { } in d_thm() argument
355 bool isAssump() const { return d_thm.isAssump(); } in isAssump() function
|
| /dports/math/cvc3/cvc3-2.4.1/src/search/ |
| H A D | search_fast.cpp | 1894 bool isAssump = thm.isAssump(); in traceConflict() local
|