pyk
7.1.142
Contents:
pyk
pyk package
Subpackages
pyk.cterm package
pyk.kast package
pyk.kbuild package
pyk.kcfg package
pyk.kdist package
pyk.kllvm package
pyk.konvert package
pyk.kore package
pyk.kore_exec_covr package
pyk.krepl package
pyk.ktool package
pyk.prelude package
pyk.proof package
pyk.testing package
Submodules
pyk
pyk
pyk package
pyk.kcfg package
pyk.kcfg.semantics module
View page source
pyk.kcfg.semantics module
class
DefaultSemantics
[source]
Bases:
KCFGSemantics
abstract_node
(
c
:
CTerm
)
→
CTerm
[source]
can_make_custom_step
(
c
:
CTerm
)
→
bool
[source]
custom_step
(
c
:
CTerm
)
→
KCFGExtendResult
|
None
[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
can_make_custom_step
(
c
:
CTerm
)
→
bool
[source]
abstract
custom_step
(
c
:
CTerm
)
→
KCFGExtendResult
|
None
[source]
abstract
is_terminal
(
c
:
CTerm
)
→
bool
[source]
abstract
same_loop
(
c1
:
CTerm
,
c2
:
CTerm
)
→
bool
[source]