C++ (Cpp) LogicInfo示例

示例#1

文件： logic_info.cpp 项目： audemard/CVC4

void LogicInfo::disableEverything() {
  CheckArgument(!d_locked, *this, "This LogicInfo is locked, and cannot be modified");
  *this = LogicInfo("");
}

示例#2

文件： logic_info.cpp 项目： 4tXJ7f/CVC4

void LogicInfo::enableEverything() {
  PrettyCheckArgument(!d_locked, *this, "This LogicInfo is locked, and cannot be modified");
  *this = LogicInfo();
}