Class Model

SCOP model class.

• Attbibutes:
  • constraints: Set of constraint objects in the model.
  • variables: Set of variable objects in the model.
  • Params: Object including all the parameters of the model.
  • varDict: Dictionary that maps variable names to their domains.

Overrides: object.__init__

Returns the information of the problem. Constraints are expanded and are shown in a readable format

Overrides: object.__str__

Adds a constraint to the model.

• Argument:
  • con: A constraint object (Linear, Quadratic or AllDiff).
• Example usage:

  >>> model.addConstraint(L)

Adds a variable to the model.

• Arguments:
  • name: Name for new variable. A string object.
  • domain: Domain (list of values) of new variable. Each value must be a string or numeric object.
• Return value: New variable object.
• Example usage:

  >>> x = model.addVarriable("var")

  >>> x = model.addVariable(name="var",domain=[1,2,3])

  >>> x = model.addVariable("var",["A","B","C"])

Adds variables and their (identical) domain.

• Arguments:
  • names: list of new variables. A list of string objects.
  • domain: Domain (list of values) of new variables. Each value must be a string or numeric object.
• Return value: List of new variable objects.
• Example usage:

  >>> varlist=["var1","var2","var3"]

  >>> x = model.addVariables(varlist)

  >>> x = model.addVariables(names=varlist,domain=[1,2,3]

  >>> x = model.addVariables(varlist,["A","B","C"]

Optimizes the model using scop.exe in the same directory.

• Example usage:

  >>> model.optimize()