示例#1
0
 void finishall ()
 {
     if (isstarted_)
     {
         while (!isfinished())
             finish();
     }
 }
示例#2
0
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;


};
示例#3
0
文件: dpll.cpp 项目: flisboac/uksat
bool uksat::DpllSolver::isconflicting() const {
    return isfinished() && result < 0;
}
示例#4
0
文件: dpll.cpp 项目: flisboac/uksat
bool uksat::DpllSolver::issatisfied() const {
    return isfinished() && result > 0;
}
示例#5
0
文件: dpll.cpp 项目: flisboac/uksat
int uksat::DpllSolver::getsat() const {
    return isfinished() ? result : 0;
}
示例#6
0
 void markstarted ()
 {
     check (!isfinished(), "isfinished() in output.");
     isstarted_ = true;
 }