Пример #1
0
 def __new__(cls, symbol, set):
     return RandomDomain.__new__(cls, (symbol, ), FiniteSet(*set))
Пример #2
0
 def __new__(cls, elements):
     elements = FiniteSet(*elements)
     symbols = FiniteSet(sym for sym, val in elements)
     return RandomDomain.__new__(cls, symbols, elements)
Пример #3
0
 def __new__(cls, symbol, set):
     assert symbol.is_Symbol
     symbols = FiniteSet(symbol)
     return RandomDomain.__new__(cls, symbols, set)
Пример #4
0
 def __new__(cls, symbol, set):
     return RandomDomain.__new__(cls, (symbol, ), FiniteSet(*set))
Пример #5
0
 def __new__(cls, elements):
     elements = FiniteSet(*elements)
     symbols = FiniteSet(sym for sym, val in elements)
     return RandomDomain.__new__(cls, symbols, elements)
Пример #6
0
 def __new__(cls, symbol, set):
     assert symbol.is_Symbol
     symbols = FiniteSet(symbol)
     return RandomDomain.__new__(cls, symbols, set)