Home | Trees | Indices | Help |
|
---|
|
object --+ | dict --+ | Assignment
A dictionary which represents an assignment of values to variables.
An assigment can only assign values from its domain.
If an unknown expression a is passed to a model M's interpretation function i, i will first check whether M's
valuation assigns an interpretation to a as a
constant, and if this fails, i will delegate the
interpretation of a to g. g only assigns values to individual variables (i.e.,
members of the class IndividualVariableExpression in the logic module. If a
variable is not assigned a value by g, it will raise
an Undefined
exception.
|
|||
new empty dictionary |
|
||
|
|||
a shallow copy of D |
|
||
|
|||
|
|||
|
|||
|
|||
Inherited from Inherited from |
|
|||
Inherited from |
|
x.__init__(...) initializes x; see x.__class__.__doc__ for signature
|
x[y]
|
|
Remove one or all keys (i.e. logic variables) from an assignment, and
update
|
Pretty printing for assignments. {'x', 'u'} appears as 'g[u/x]'
|
Home | Trees | Indices | Help |
|
---|
Generated by Epydoc 3.0beta1 on Wed Aug 27 15:08:57 2008 | http://epydoc.sourceforge.net |