pyk.kcfg.semantics module¶

class DefaultSemantics[source]¶

Bases: KCFGSemantics

abstract_node(c: CTerm) → CTerm[source]¶

extract_branches(c: CTerm) → list[KInner][source]¶

is_terminal(c: CTerm) → bool[source]¶

same_loop(c1: CTerm, c2: CTerm) → bool[source]¶

class KCFGSemantics[source]¶

Bases: ABC

abstract abstract_node(c: CTerm) → CTerm[source]¶

abstract extract_branches(c: CTerm) → list[KInner][source]¶

abstract is_terminal(c: CTerm) → bool[source]¶

abstract same_loop(c1: CTerm, c2: CTerm) → bool[source]¶