Home | Trees | Indices | Help |
|
---|
|
object --+ | dict --+ | Valuation
A dictionary which represents a model-theoretic Valuation of non-logical constants. Keys are strings representing the constants to be interpreted, and values correspond to individuals (represented as strings) and n-ary relations (represented as sets of tuples of strings).
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.
|
|||
new empty dictionary |
|
||
|
|||
|
|||
|
|||
|
|||
|
|||
Inherited from Inherited from |
|
|||
domain Set-theoretic domain of the value-space of a Valuation. |
|||
symbols The non-logical constants which the Valuation recognizes. |
|||
Inherited from |
|
x.__init__(...) initializes x; see x.__class__.__doc__ for signature
|
x[y]
|
Deprecated: Call the valuation as an initialization parameter instead |
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 Aug 27 15:08:57 2008 | http://epydoc.sourceforge.net |