コード例 #1
0
ファイル: plus_value_map.py プロジェクト: rusi/mcdp 
 def __init__(self, c_value):
     dom = Rcomp()
     dom.belongs(c_value)
     cod = dom
     Map.__init__(self, dom=dom, cod=cod)
     self.c = c_value
     
     self.top = dom.get_top()
コード例 #2
0
ファイル: primitivedps.py プロジェクト: AndreaCensi/mcdp 
def MinusValueRcompDP2():
    U = Rcomp()
    v = U.get_top()
    return MinusValueRcompDP(v)
コード例 #3
0
ファイル: primitivedps.py プロジェクト: rusi/mcdp 
def MinusValueRcompDP2():
    U = Rcomp()
    v = U.get_top()
    return MinusValueRcompDP(v)