예제 #1
0
 /// 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();
 }