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