C++ (Cpp) Bits::push_back 예제들

예제 #1

파일: eager_bitblaster.cpp 프로젝트: kbansal/CVC4

void EagerBitblaster::makeVariable(TNode var, Bits& bits) {
  Assert(bits.size() == 0);
  for (unsigned i = 0; i < utils::getSize(var); ++i) {
    bits.push_back(utils::mkBitOf(var, i)); 
  }
  d_variables.insert(var); 
}