(self)
Pretty-print constraints between *variables* using the variable mapping.
Pretty-print constraints between *variables* using the variable mapping.
Pretty - print constraints between * variables * using the variable mapping .
def pp_constraints(self) -> None:
        """
        Pretty-print constraints between *variables* using the variable mapping.
        """
        if self._var_mapping is None:
            raise ValueError("Variable mapping does not exist.")

        typevar_to_var = dict((v, k) for k, v in self._var_mapping.items())
        print("### {} constraints".format(len(self._constraints)))
        for constraint in self._constraints:
            print("    " + constraint.pp_str(typevar_to_var))
        print("### end of constraints ###")
def pp_constraints ( self ) -> None : if self . _var_mapping is None : raise ValueError ( "Variable mapping does not exist." ) typevar_to_var = dict ( ( v , k ) for k , v in self . _var_mapping . items ( ) ) print ( "### {} constraints" . format ( len ( self . _constraints ) ) ) for constraint in self . _constraints : print ( "    " + constraint . pp_str ( typevar_to_var ) ) print ( "### end of constraints ###" )