コード例 #1
0
ファイル: matrix-game.cpp プロジェクト: Gecode/gecode
 /// Return true if we have to print initial board
 bool printBoard(void) const {
     return _printBoard.value();
 }
コード例 #2
0
ファイル: qbf.cpp プロジェクト: Wushaowei001/vcp
 bool qConstraint(void) const {
   return _qConstraint.value();
 }