Home | Trees | Indices | Help |
|
---|
|
object --+ | dict --+ | Valuation
A dictionary which represents a model-theoretic Valuation of non-logical constants.
An attempt to initialize a Valuation with an individual variable expression (e.g., 'x3') will raise an error, as will an attemp to read a list containing an individual variable expression.
An instance of Valuation will raise a KeyError exception (i.e., just behave like a standard dictionary) if indexed with an expression that is not in its list of symbols.
|
|||
|
|||
|
|||
Valuation |
|
||
|
|||
|
|||
|
|||
Inherited from Inherited from |
|
|||
domain Set-theoretic domain of the value-space of a Valuation. |
|||
symbols The non-logical constants which the Valuation recognizes. |
|||
|
x.__init__(...) initializes x; see x.__class__.__doc__ for signature
|
x[y]
|
Parse a list such as
|
str(x)
|
|
domainSet-theoretic domain of the value-space of a Valuation.
|
symbolsThe non-logical constants which the Valuation recognizes.
|
Home | Trees | Indices | Help |
|
---|
Generated by Epydoc 3.0beta1 on Wed May 16 22:47:31 2007 | http://epydoc.sourceforge.net |