Class ExpInfo

gecode/minimodel/reg.cpp:535–540

Expression information

    /// Expression information
    class ExpInfo {
    public:
      REG::Exp* exp;
      bool open;
      ExpInfo(REG::Exp* e=nullptr);
    };

    /**
     * \brief Information on positions collected during traversal