C++ (Cpp) clause::sizeの例

コード例 #1

ファイル: sat_integrity_checker.cpp プロジェクト: 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()));
     }

コード例 #2

ファイル: drupPostProcess.cpp プロジェクト: Nauchnik/utils

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

コード例 #3

ファイル: sat_bceq.cpp プロジェクト: 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);
     }
 }

コード例 #4

ファイル: sat_bceq.cpp プロジェクト: 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);
     }        
 }