Method printStrategy

contribs/quacode/examples/qbf.cpp:92–94

Return true if the strategy must be printed

  }
  /// Return true if the strategy must be printed
  bool printStrategy(void) const {
    return _printStrategy.value();
  }
  bool qConstraint(void) const {
    return _qConstraint.value();
  }