/*
   * The operation of the Relation
   *
   * One of +Satsolver::REL_*+
   *
   */
  int op()