void finishall () { if (isstarted_) { while (!isfinished()) finish(); } }
void Equation::calculate() { if (isfinished()) { index++; if ((index) < equation_set.num_equation) { setindex(index); } if (equation_set.loop != -1 && index >= equation_set.num_equation)setindex(equation_set.loop); return; } integeration_y += expression_y.value()*equation_now.x.increment; integeration_x += expression_x.value()*equation_now.x.increment; double a = expression_y.value(); time = time + equation_now.x.increment; };
bool uksat::DpllSolver::isconflicting() const { return isfinished() && result < 0; }
bool uksat::DpllSolver::issatisfied() const { return isfinished() && result > 0; }
int uksat::DpllSolver::getsat() const { return isfinished() ? result : 0; }
void markstarted () { check (!isfinished(), "isfinished() in output."); isstarted_ = true; }