MpsGuiValue::MpsGuiValue(int maxpid, const std::string &session, int pid, const MpsExp &name, const MpsExp &value, const MpsTerm &succ) // {{{ : mySession(session), myMaxpid(maxpid), myPid(pid) { mySucc = succ.Copy(); myValue = value.Copy(); myName = name.Copy(); } // }}}
MpsAssign::MpsAssign(const string &id, const MpsExp &exp, const MpsMsgType &type, const MpsTerm &succ) // {{{ { myId = id; myExp = exp.Copy(); myType = type.Copy(); mySucc = succ.Copy(); } // }}}
MpsCond::MpsCond(const MpsExp &cond, const MpsTerm &truebranch, const MpsTerm &falsebranch) // {{{ { myCond = cond.Copy(); myTrueBranch = truebranch.Copy(); myFalseBranch = falsebranch.Copy(); } // }}}