(self, predicates, idx)
return orig_cnf
_orig_cnf returns the CNF form of the predicates that does not include
        the predicate at index :param idx:.

        This CNF is usually used for the left relation when counting violations.
_orig_cnf returns the CNF form of the predicates that does not include
        the predicate at index :param idx:.
_orig_cnf returns the CNF form of the predicates that does not include the predicate at index : param idx : .
def _orig_cnf(self, predicates, idx):
        """
        _orig_cnf returns the CNF form of the predicates that does not include
        the predicate at index :param idx:.

        This CNF is usually used for the left relation when counting violations.
        """
        orig_preds = predicates[:idx] + predicates[(idx+1):]
        orig_cnf = " AND ".join([pred.cnf_form for pred in orig_preds])
        return orig_cnf
def _orig_cnf ( self , predicates , idx ) : orig_preds = predicates [ : idx ] + predicates [ ( idx + 1 ) : ] orig_cnf = " AND " . join ( [ pred . cnf_form for pred in orig_preds ] ) return orig_cnf