def __lt__(self, value): """ Generates an atom. """ if type(value) in [int, float]: return formula_tree.TimeBetweenInOpenInterval( 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))