/** * No global optimisation parameters present. */ GlobalOptParam::GlobalOptParam(const int nel): m_doGlobalMatOp(SIZE_OptimizeOperationType,false), m_shapeList(1,LibUtilities::eNoShapeType), m_shapeNumElements(1,nel) { Array<OneD, bool> set_false(1,false); m_doBlockMatOp = Array<OneD, Array<OneD, bool > > (SIZE_OptimizeOperationType,set_false); }
static void __check_if( int i ) { float k; if ( flags[i] ) { /* found a prime */ for ( k = i + i; k <= SIZE; k = k + i ) { set_false( (int)k ); } count++; } }
void model_implicant::assign_value(expr* e, expr* val) { rational r; if (m.is_true(val)) { set_true(e); } else if (m.is_false(val)) { set_false(e); } else if (m_arith.is_numeral(val, r)) { set_number(e, r); } else if (m.is_value(val)) { set_value(e, val); } else { IF_VERBOSE(3, verbose_stream() << "Not evaluated " << mk_pp(e, m) << " := " << mk_pp(val, m) << "\n";); TRACE("pdr", tout << "Variable is not tracked: " << mk_pp(e, m) << " := " << mk_pp(val, m) << "\n";);
cube_list* negate_cube(cube* c, int var) { cube_list* result = new_cube_list(var); for (int i = 1; i <= var; i++) { val value = c->values[i]; if (value == t) { cube* cn = new_cube(var); set_false(cn, i); add_cube(result, cn); } else if (value == f) { cube* cn = new_cube(var); set_true(cn, i); add_cube(result, cn); } } return result; }