bloqade.stim.rewrite.ifs_handling.IsIfElseSimplifiable

← Module overview

classIsIfElseSimplifiable¶source

bloqade.stim.rewrite.ifs_handling.IsIfElseSimplifiable

class IsIfElseSimplifiable

methodis_rewriteable¶source

bloqade.stim.rewrite.ifs_handling.IsIfElseSimplifiable.is_rewriteable

def is_rewriteable(node: scf.IfElse) -> bool

Parameters

Name	Type	Description
node	scf.IfElse

Returns

bool

source

methodcontains_ifelse¶source

bloqade.stim.rewrite.ifs_handling.IsIfElseSimplifiable.contains_ifelse

def contains_ifelse(stmt: scf.IfElse) -> bool

Check if the IfElse statement contains another IfElse statement.

Parameters

Name	Type	Description
stmt	scf.IfElse

Returns

bool

source

methodis_nested_ifelse¶source

bloqade.stim.rewrite.ifs_handling.IsIfElseSimplifiable.is_nested_ifelse

def is_nested_ifelse(stmt: scf.IfElse) -> bool

Check if the IfElse statement is nested.

Parameters

Name	Type	Description
stmt	scf.IfElse

Returns

bool

source

methodhas_else_body¶source

bloqade.stim.rewrite.ifs_handling.IsIfElseSimplifiable.has_else_body

def has_else_body(stmt: scf.IfElse) -> bool

Check if the IfElse statement has an else body.

Parameters

Name	Type	Description
stmt	scf.IfElse

Returns

bool

source