C++ (Cpp) Clause::resize Examples

Example #1

File: sat.c Project: cmears/chuffed

bool SAT::simplify(Clause& c) {
	if (value(c[0]) == l_True) return true;
	if (value(c[1]) == l_True) return true;
	int i, j;
	for (i = j = 2; i < c.size(); i++) {
		if (value(c[i]) == l_True) return true;
		if (value(c[i]) == l_Undef) c[j++] = c[i];
	}
  c.resize(j);
	return false;
}