Method printStrategy

contribs/quacode/examples/rndQCSP.cpp:79–81

Return true if the strategy must be printed

    }
        /// Return true if the strategy must be printed
        bool printStrategy(void) const {
            return _printStrategy.value();
        }
        /// Return file name
        const char *file(void) const {
            return _file.value();