def isPartialInteger(self):
for e in self.domain():
if (isinstance(e, BInteger)):
return BBoolean(True)
else:
return BBoolean(False)
return BBoolean(True)
def checkRangeInteger(self):
for e in self._range():
if isinstance(e, BInteger):
return BBoolean(True)
else:
return BBoolean(False)
return BBoolean(True)
def checkDomainInteger(self):
for e in self.domain():
if isinstance(e, BInteger):
return BBoolean(True)
else:
return BBoolean(False)
return BBoolean(True)
def notElementOf(self, obj: 'BTuple') -> 'BBoolean':
prj1 = obj.projection1()
prj2 = obj.projection2()
domain = self.map
if prj1 not in domain:
return BBoolean(True)
return BBoolean(prj2 not in domain[prj1])
def isInjection(self) -> 'BBoolean':
visited = set()
for element in self.domain():
_range = self.map[element]
for e in _range:
range_element = e
if range_element in visited:
return BBoolean(False)
visited = visited.union([range_element])
return BBoolean(True)
def isInjection(self) -> 'BBoolean':
visited = immutables.Map()
for element in self.domain():
_range = self.map[element]
for e in _range:
range_element = e
if range_element in visited:
return BBoolean(False)
visited = visited.set(range_element, range_element)
return BBoolean(True)
def notElementOf(self, obj: 'BTuple') -> 'BBoolean':
prj1 = obj.projection1()
prj2 = obj.projection2()
domain = self.map.keys()
if prj1 not in domain:
return BBoolean(True)
_range = self.map[prj1]
return BBoolean(prj2 not in _range)
def elementOf(self, obj: 'BTuple') -> 'BBoolean':
prj1 = obj.projection1()
prj2 = obj.projection2()
domain = self.map
if prj1 not in domain:
return BBoolean(False)
_range = self.map[prj1]
return BBoolean(prj2 in _range)
def checkRangeNatural1(self):
for e in self._range():
if isinstance(e, BInteger) and not e.isNatural1().booleanValue():
return BBoolean(False)
return BBoolean(True)
def isNotInteger(self) -> 'BBoolean':
return BBoolean(false)
def greaterEqual(self, other: 'BInteger') -> 'BBoolean':
return BBoolean(self.__value >= other.__value)
def isBijectionNatural1(self) -> 'BBoolean':
return BBoolean(False)
def isSurjectionNatural(self) -> 'BBoolean':
return BBoolean(False)
def isRelation(self) -> 'BBoolean':
return BBoolean(True)
def lessEqual(self, other: 'BInteger') -> 'BBoolean':
return BBoolean(self.__value <= other.__value)
def isTotalStruct(self) -> 'BBoolean':
return BBoolean(False)
def isTotalNatural1(self) -> 'BBoolean':
return BBoolean(False)
def isTotalInteger(self) -> 'BBoolean':
return BBoolean(False)
def unequal(self, other: 'BRelation') -> 'BBoolean':
return BBoolean(not self.equals(other))
def checkRangeString(self):
for e in self._range():
if isinstance(e, BString) and not e.isString().booleanValue():
return BBoolean(False)
return BBoolean(True)
def checkRangeStruct(self) -> 'BBoolean':
for e in self._range():
if isinstance(e, BStruct) and not e.isRecord().booleanValue():
return BBoolean(False)
return BBoolean(True)
def isPartialNatural1(self):
for e in self.domain():
if isinstance(e, BInteger) and not e.isNatural1().booleanValue():
return BBoolean(False)
return BBoolean(True)
def isFunction(self) -> 'BBoolean':
for element in self.domain():
_range = self.map[element]
if _range.size() > 1:
return BBoolean(False)
return BBoolean(True)
def isPartialString(self):
for e in self.domain():
if isinstance(e, BString) and not e.isString().booleanValue():
return BBoolean(False)
return BBoolean(True)
def isSurjectionString(self) -> 'BBoolean':
return BBoolean(False)
def checkDomainNatural(self):
for e in self.domain():
if isinstance(e, BInteger) and not e.isNatural().booleanValue():
return BBoolean(False)
return BBoolean(True)
def isBijectionInteger(self) -> 'BBoolean':
return BBoolean(False)
def checkDomainStruct(self):
for e in self.domain():
if isinstance(e, BStruct) and not e.isRecord().booleanValue():
return BBoolean(False)
return BBoolean(True)
def isBijectionStruct(self) -> 'BBoolean':
return BBoolean(False)
def unequal(self, other: 'BInteger') -> 'BBoolean':
return BBoolean(self.__value != other.__value)