C++ (Cpp) setLogicString примеры использования

Пример #1

Файл: logic_info.cpp Проект: audemard/CVC4

LogicInfo::LogicInfo(const char* logicString) throw(IllegalArgumentException) :
  d_logicString(""),
  d_theories(THEORY_LAST, false),
  d_sharingTheories(0),
  d_integers(false),
  d_reals(false),
  d_linear(false),
  d_differenceLogic(false),
  d_locked(false) {

  setLogicString(logicString);
  lock();
}

Пример #2

Файл: logic_info.cpp Проект: 4tXJ7f/CVC4

LogicInfo::LogicInfo(const char* logicString)
    : d_logicString(""),
      d_theories(THEORY_LAST, false),
      d_sharingTheories(0),
      d_integers(false),
      d_reals(false),
      d_transcendentals(false),
      d_linear(false),
      d_differenceLogic(false),
      d_cardinalityConstraints(false),
      d_higherOrder(false),
      d_locked(false)
{
  setLogicString(logicString);
  lock();
}