parameters: (self, *args, **kwargs)
docstring: Shuffle the internal CNF representation before writing it to a file.
          This renames the variables, shuffles their order in each clause, and
          shuffles the ordering of the clauses. This currently has no affect on
          the built-in MiniSat or WalkSat solvers since clauses are added directly
          via their API when they are generated but can be used with any of the
          other external file based SAT solvers. This should be called before
          :meth:`.output_cnf`.
  
          :param int seed: The seed for the random number generator.
          :raises UnsupportedSolverFunction: if called on a non SAT-based solver.
docstring_summary: Shuffle the internal CNF representation before writing it to a file.
          This renames the variables, shuffles their order in each clause, and
          shuffles the ordering of the clauses. This currently has no affect on
          the built-in MiniSat or WalkSat solvers since clauses are added directly
          via their API when they are generated but can be used with any of the
          other external file based SAT solvers. This should be called before
          :meth:`.output_cnf`.
docstring_tokens: Shuffle the internal CNF representation before writing it to a file . This renames the variables shuffles their order in each clause and shuffles the ordering of the clauses . This currently has no affect on the built - in MiniSat or WalkSat solvers since clauses are added directly via their API when they are generated but can be used with any of the other external file based SAT solvers . This should be called before : meth : . output_cnf .
function: def shuffle_cnf(self, *args, **kwargs):
          """
          Shuffle the internal CNF representation before writing it to a file.
          This renames the variables, shuffles their order in each clause, and
          shuffles the ordering of the clauses. This currently has no affect on
          the built-in MiniSat or WalkSat solvers since clauses are added directly
          via their API when they are generated but can be used with any of the
          other external file based SAT solvers. This should be called before
          :meth:`.output_cnf`.
  
          :param int seed: The seed for the random number generator.
          :raises UnsupportedSolverFunction: if called on a non SAT-based solver.
          """
          if hasattr(self.solver, 'shuffle_cnf'):
              self.solver.shuffle_cnf(*args, **kwargs)
          else:
              raise UnsupportedSolverFunction(
                  str(type(self)), "shuffle_cnf", "Please load the model using "
                  "a SAT solver to use this functionality.")
function_tokens: def shuffle_cnf ( self , * args , * * kwargs ) : if hasattr ( self . solver , 'shuffle_cnf' ) : self . solver . shuffle_cnf ( * args , * * kwargs ) else : raise UnsupportedSolverFunction ( str ( type ( self ) ) , "shuffle_cnf" , "Please load the model using " "a SAT solver to use this functionality." )