parameters: (self, literals)
docstring: Add the literals to the model as assumptions.
docstring_summary: Add the literals to the model as assumptions.
docstring_tokens: Add the literals to the model as assumptions .
function: def AddAssumptions(self, literals):
          """Add the literals to the model as assumptions."""
          for lit in literals:
              self.AddAssumption(lit)
function_tokens: def AddAssumptions ( self , literals ) : for lit in literals : self . AddAssumption ( lit )