Method RndQCSPOptions

contribs/quacode/examples/rndQCSP.cpp:70–77

Initialize options for example with name \a s

        Gecode::Driver::StringValueOption _file;
        /// Initialize options for example with name \a s
        RndQCSPOptions(const char* s)
            : Options(s),
            _printStrategy("-printStrategy","Print strategy",false),
            _file("-file","File name of benchmark file")
    {
        add(_printStrategy);
        add(_file);
    }
        /// Return true if the strategy must be printed
        bool printStrategy(void) const {
            return _printStrategy.value();