예제 #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
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)