Type

class unified_planning.model.Type[source]

Bases: ABC

Base class for representing a Type.

is_bool_type() → bool[source]: Returns True iff is boolean Type.

is_user_type() → bool[source]: Returns True iff is a user Type.

is_real_type() → bool[source]: Returns True iff is real Type.

is_int_type() → bool[source]: Returns True iff is integer Type.

is_time_type() → bool[source]: Returns True iff is time Type.

is_movable_type() → bool[source]: Returns True iff is movable Type.

is_configuration_type() → bool[source]: Returns True iff is configuration Type.

is_compatible(t_right: Type) → bool[source]

Returns True if the Type t_right can be assigned to a Fluent that which type is self. Note that types compatibility is not a symmetric property.

Parameters:: t_right – The type tested for compatibility.
Returns:: True if something, generally an Object or an action parameters, with the given type can always be assigned to a fluent with this type.