def __le__(self, value):
"""
Generates an atom.
"""
if type(value) in [int, float]:
return formula_tree.TimeBetweenInInterval(self._lhs, self._rhs,
[0, value])
else:
raise Exception(
"Value of type %s given to <= comparison on %s is not supported."
% (value.__class__.__name__, self))
def _in(self, interval):
"""
Generates an atom.
"""
if type(interval) is list:
return formula_tree.TimeBetweenInInterval(self._lhs, self._rhs,
interval)
elif type(interval) is tuple:
return formula_tree.TimeBetweenInOpenInterval(
self._lhs, self._rhs, interval)
else:
raise Exception("TimeBetween predicate wasn't defined properly.")
def _in(self, interval):
"""
Generates an atom.
"""
if type(interval) is list:
return formula_tree.TimeBetweenInInterval(self._lhs, self._rhs,
interval)
elif type(interval) is tuple:
return formula_tree.TimeBetweenInOpenInterval(
self._lhs, self._rhs, interval)
else:
raise Exception(
"Value of type %s given to _in comparison on %s is not supported."
% (interval.__class__.__name__, self))