saealib.core.StructuredRegion#

class saealib.core.StructuredRegion(*, region_id, body, namespace='', effect=<factory>)[source]#

Bases: object

Base immutable description of a structured control region.

Parameters:

  • region_id (str)

  • body (StructuredGraph | tuple[object, ...])

  • namespace (str)

  • effect (RegionEffect)

Methods

__init__

with_body

Return an immutable copy retaining the lowered body and effect.

Method Details

StructuredRegion.__init__(*, region_id, body, namespace='', effect=<factory>)#
Parameters:

  • region_id (str)

  • body (StructuredGraph | tuple[object, ...])

  • namespace (str)

  • effect (RegionEffect)

Return type:

None

StructuredRegion.with_body(body, *, effect)[source]#

Return an immutable copy retaining the lowered body and effect.

Parameters:
Return type:

StructuredRegion