Interval

class unified_planning.model.timing.Interval(lower: FNode, upper: FNode, is_left_open: bool = False, is_right_open: bool = False)

Bases: object

Class that defines an interval with 2 expressions as bounds.

property lower: FNode

Returns the Interval’s lower bound.

property upper: FNode

Returns the Interval’s upper bound.

property environment: Environment

Returns the Interval’s Environment.

is_left_open() → bool

Returns True if the lower bound of this Interval is not included in the Interval, False otherwise.

is_right_open() → bool

Returns True if the upper bound of this Interval is not included in the Interval, False otherwise.