saealib.CountGenerationStage#

class saealib.CountGenerationStage(*, name='', label='', notation='')[source]#

Bases: Stage

Increment the generation counter by one.

Parameters:

  • name (str)

  • label (str)

  • notation (str)

Methods

__init__

Initialize base Stage attributes.

contract

Return this stage's structural and direct state-access contract.

execute

Execute this stage and return the updated state.

to_pseudocode

Render this stage as a LaTeX algorithmic line.

to_text

Render this stage as a plain-text algorithmic line.

Method Details

CountGenerationStage.__init__(*, name='', label='', notation='')#

Initialize base Stage attributes.

Parameters:

  • name (str, optional) – Override the class-level name.

  • label (str, optional) – Override the class-level label.

  • notation (str, optional) – Override the class-level notation.

Return type:

None

CountGenerationStage.contract()[source]#

Return this stage’s structural and direct state-access contract.

Return type:

ComponentContract

CountGenerationStage.execute(state)[source]#

Execute this stage and return the updated state.

Parameters:

state (OptimizationState) – Current optimization state.

Returns:

Updated state.

Return type:

OptimizationState

CountGenerationStage.to_pseudocode(*, expand=False, indent=0)#

Render this stage as a LaTeX algorithmic line.

Parameters:

  • expand (bool) – If True and this stage has sub-stages, recursively expand them.

  • indent (int) – Current indentation level (number of \State indent steps).

Returns:

LaTeX algorithmic fragment.

Return type:

str

CountGenerationStage.to_text(*, expand=False, indent=0)#

Render this stage as a plain-text algorithmic line.

Parameters:

  • expand (bool)

  • indent (int)

Return type:

str