Types

Types#

JANI-model defines a type system for expressions.

class momba.model.Type[source]#

A type.

property is_numeric#: Indicates whether the type is numeric or not.

abstract is_assignable_from(typ)[source]#: Checks whether values of the other type can be assigned to targets of this type.

types.INT = IntegerType()#

types.REAL = RealType()#

types.BOOL = BoolType()#

types.CLOCK = ClockType()#

types.CONTINUOUS = ContinuousType()#

momba.model.types.array_of(element)[source]#: Constructs an array type with the given element type.

momba.model.types.set_of(element)[source]#: Constructs a set type with the given element type.

Class Hierarchy#

class momba.model.types.NumericType[source]#

property is_numeric#: Indicates whether the type is numeric or not.

bound(lower, upper)[source]#: Bounds the numeric type with the given bounds.

class momba.model.types.IntegerType[source]#

The integer type.

Hint

Instead of instantiating new objects of this class use INT.

is_assignable_from(typ)[source]#: Checks whether values of the other type can be assigned to targets of this type.

class momba.model.types.RealType[source]#

The real type.

Hint

Instead of instantiating new objects of this class use REAL.

is_assignable_from(typ)[source]#: Checks whether values of the other type can be assigned to targets of this type.

class momba.model.types.BoolType[source]#

The boolean type.

Hint

Instead of instantiating new objects of this class use BOOL.

is_assignable_from(typ)[source]#: Checks whether values of the other type can be assigned to targets of this type.

class momba.model.types.ClockType[source]#

The clock type.

Hint

Instead of instantiating new objects of this class use CLOCK.

is_assignable_from(typ)[source]#: Checks whether values of the other type can be assigned to targets of this type.

class momba.model.types.ContinuousType[source]#

The continuous type.

Hint

Instead of instantiating new objects of this class use CONTINUOUS.

is_assignable_from(typ)[source]#: Checks whether values of the other type can be assigned to targets of this type.

class momba.model.types.BoundedType(base, lower_bound, upper_bound)[source]#

A bounded numeric type.

base#: The numeric base type.

lower_bound#: The optional lower bound for values of the type.

upper_bound#: The optional upper bound for values of the type.

is_assignable_from(typ)[source]#: Checks whether values of the other type can be assigned to targets of this type.

class momba.model.types.ArrayType(element)[source]#

An array type.

element#: The type of the elements of the array.

is_assignable_from(typ)[source]#: Checks whether values of the other type can be assigned to targets of this type.

class momba.model.types.SetType(element)[source]#

An set type.

element#: The type of the elements of the set.

is_assignable_from(typ)[source]#: Checks whether values of the other type can be assigned to targets of this type.

Types

Contents

Types#

Class Hierarchy#