Searched defs:getRedundant (Results 1 – 2 of 2) sorted by relevance
| /dports/math/cvc4/CVC4-1.7/src/theory/quantifiers/sygus/ | ||
| H A D | sygus_grammar_red.cpp | 78 void SygusRedundantCons::getRedundant(std::vector<unsigned>& indices) in getRedundant() function in CVC4::theory::quantifiers::SygusRedundantCons |
| /dports/math/cvc4/CVC4-1.7/src/proof/ | ||
| H A D | sat_proof.h | 86 LitSet* getRedundant() const { return d_redundantLits; } in getRedundant() function |