C++ (Cpp) clause::size Examples

Example #1

File: sat_integrity_checker.cpp Project: AleksandarZeljic/z3

 bool integrity_checker::check_clause(clause const & c) const {
     SASSERT(!c.was_removed());
     for (unsigned i = 0; i < c.size(); i++) {
         SASSERT(c[i].var() <= s.num_vars());
         CTRACE("sat_bug", s.was_eliminated(c[i].var()),
                tout << "l: " << c[i].var() << "\n";
                tout << "c: " << c << "\n";
                s.display(tout););
         SASSERT(!s.was_eliminated(c[i].var()));
     }

Example #2

File: drupPostProcess.cpp Project: Nauchnik/utils

bool compareBySize(const clause &a, const clause &b)
{
	return a.size() < b.size();
}

Example #3

File: sat_bceq.cpp Project: EinNarr/z3

 void bceq::use_list::erase(clause& c) {
     unsigned sz = c.size();
     for (unsigned i = 0; i < sz; i++) {
         m_clauses[c[i].index()].erase(&c);
     }
 }

Example #4

File: sat_bceq.cpp Project: EinNarr/z3

 void bceq::use_list::insert(clause& c) {
     unsigned sz = c.size();
     for (unsigned i = 0; i < sz; i++) {
         m_clauses[c[i].index()].push_back(&c);
     }        
 }