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(); }
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(); }