Fluent

class unified_planning.model.Fluent(name: str, typename: Type | None = None, _signature: OrderedDict[str, Type] | List[Parameter] | None = None, environment: Environment | None = None, **kwargs: Type)

Bases: object

Represents a fluent.

property name: str

Returns the Fluent name.

property type: Type

Returns the Fluent Type.

property signature: List[Parameter]

Returns the Fluent signature. The signature is the List of Parameters indicating the Types compatible with this Fluent.

property arity: int

Returns the Fluent arity.

IMPORTANT NOTE: this property does some computation, so it should be called as seldom as possible.

property environment: Environment

Returns the Fluent Environment.

Equals(right)

And(*other)

Or(*other)

Not()

Xor(*other)

Implies(right)

Iff(right)