Searched defs:getImplication (Results 1 – 3 of 3) sorted by relevance
| /dports/devel/fuzzylite/fuzzylite-6.0/fuzzylite/src/term/ | ||
| H A D | Activated.cpp | 102 const TNorm* Activated::getImplication() const { in getImplication() function in fl::Activated |
| /dports/devel/fuzzylite/fuzzylite-6.0/fuzzylite/src/rule/ | ||
| H A D | RuleBlock.cpp | 162 TNorm* RuleBlock::getImplication() const { in getImplication() function in fl::RuleBlock |
| /dports/math/cvc3/cvc3-2.4.1/src/search/ | ||
| H A D | search_sat.cpp | 85 Lit getImplication() { return d_ss->getImplication(); } in getImplication() function in CVC3::SearchSatTheoryAPI |