本文整理汇总了C++中irept::get_long_long方法的典型用法代码示例。如果您正苦于以下问题：C++ irept::get_long_long方法的具体用法？C++ irept::get_long_long怎么用？C++ irept::get_long_long使用的例子？那么, 这里精选的方法代码示例或许可以为您提供帮助。您也可以进一步了解该方法所在类irept的用法示例。
在下文中一共展示了irept::get_long_long方法的1个代码示例，这些例子默认根据受欢迎程度排序。您可以为喜欢或者感觉有用的代码点赞，您的评价将有助于系统推荐出更棒的C++代码示例。
示例1: operator
void jsa_serialisert::operator()(jsa_genetic_solutiont &entity,
const irept &sdu) const
{
entity.fitness=jsa_genetic_solutiont::fitnesst(sdu.get_long_long(FITNESS));
const irept::named_subt &named_sub=sdu.get_named_sub();
typedef irept::named_subt::const_iterator const_iterator;
const const_iterator invariant=named_sub.find(INVARIANT);
assert(named_sub.end() != invariant);
for (const irept &instruction : invariant->second.get_sub())
{
jsa_genetic_solutiont::invariantt::value_type instr;
instr.opcode=__CPROVER_jsa_opcodet(instruction.get_long_long(OPCODE));
entity.invariant.push_back(instr);
}
const const_iterator predicates=named_sub.find(PREDICATES);
assert(named_sub.end() != predicates);
for (const irept &predicate : predicates->second.get_sub())
{
jsa_genetic_solutiont::predicatet pred;
for (const irept &instruction : predicate.get_sub())
{
jsa_genetic_solutiont::predicatet::value_type instr;
instr.opcode=__CPROVER_jsa_opcodet(instruction.get_long_long(OPCODE));
instr.op0=__CPROVER_jsa_opt(instruction.get_long_long(OP0));
instr.op1=__CPROVER_jsa_opt(instruction.get_long_long(OP1));
instr.result_op=__CPROVER_jsa_opt(instruction.get_long_long(RESULT_OP));
pred.push_back(instr);
}
entity.predicates.push_back(pred);
}
const const_iterator query=named_sub.find(QUERY);
assert(named_sub.end() != query);
for (const irept &instruction : query->second.get_sub())
{
jsa_genetic_solutiont::queryt::value_type instr;
instr.opcode=__CPROVER_jsa_opcodet(instruction.get_long_long(OPCODE));
instr.op0=__CPROVER_jsa_opt(instruction.get_long_long(OP0));
instr.op1=__CPROVER_jsa_opt(instruction.get_long_long(OP1));
entity.query.push_back(instr);
}
}