Type
- class unified_planning.model.Type[source]
Bases:
ABC
Base class for representing a Type.
- is_compatible(t_right: Type) bool [source]
Returns True if the Type t_right can be assigned to a
Fluent
that whichtype
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 anaction parameters
, with the given type can always be assigned to a fluent with this type.