Exemplos de vec::capacity em C++ (Cpp)

Exemplo n.º 1

Arquivo: satcheck_minisat2.cpp Projeto: sarnold/cbmc

void convert(const bvt &bv, Minisat::vec<Minisat::Lit> &dest)
{
  dest.capacity(bv.size());

  forall_literals(it, bv)
    if(!it->is_false())
      dest.push(Minisat::mkLit(it->var_no(), it->sign()));
}