/*
   * the decision operation, one of +Satsolver::DECISION_*+
   */
  int op()