C++ (Cpp) get_row_pre_constraint 예제들

예제 #1

파일: predabs_domain.cpp 프로젝트: diffblue/2ls

/// pre_guard==> (row_value=> row_expr)
exprt predabs_domaint::get_row_pre_constraint(
  const rowt &row,
  const templ_valuet &value)
{
  assert(value.size()==templ.size());
  return get_row_pre_constraint(row, value[row]);
}

예제 #2

파일: predabs_domain.cpp 프로젝트: viktormalik/2ls

exprt predabs_domaint::to_pre_constraints(const templ_valuet &value)
{
  assert(value.size()==templ.size());
  exprt::operandst c;
  for(std::size_t row=0; row<templ.size(); ++row)
  {
    c.push_back(get_row_pre_constraint(row, value[row]));
  }
  return conjunction(c);
}