samer_veith.py
def encode_transitivity(self, func: Callable[[int, int], int]):
        """
        encode transitivity for a set of variables

        :param func: arity 2 function for which transitivity must be encoded
        """
        for i, j, l in ord_triples(range(self.num_nodes)):
            self._add_clause(-func(i, j), -func(j, l), func(i, l))

        encode transitivity for a set of variables

        :param func: arity 2 function for which transitivity must be encoded
        
encode transitivity for a set of variables
encode transitivity for a set of variables
def encode_transitivity(self, func: Callable[[int, int], int]):
        for i, j, l in ord_triples(range(self.num_nodes)):
            self._add_clause(-func(i, j), -func(j, l), func(i, l))
def encode_transitivity ( self , func : Callable [ [ int , int ] , int ] ) : for i , j , l in ord_triples ( range ( self . num_nodes ) ) : self . _add_clause ( - func ( i , j ) , - func ( j , l ) , func ( i , l ) )
encode transitivity for a set of variables
encode transitivity for a set of variables
"""
        encode transitivity for a set of variables

        :param func: arity 2 function for which transitivity must be encoded
        """
self
func
Callable[[int, int], int]
arity 2 function for which transitivity must be encoded
arity 2 function for which transitivity must be encoded