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.exploration module
View page source
pyk.kcfg.exploration module
class
KCFGExploration
(
kcfg
:
KCFG
,
terminal
:
Iterable
[
NodeIdLike
]
|
None
=
None
)
[source]
Bases:
object
add_terminal
(
node_id
:
NodeIdLike
)
→
None
[source]
property
explorable
:
list
[
Node
]
static
from_dict
(
dct
:
Mapping
[
str
,
Any
]
)
→
KCFGExploration
[source]
is_explorable
(
node_id
:
NodeIdLike
)
→
bool
[source]
is_terminal
(
node_id
:
NodeIdLike
)
→
bool
[source]
kcfg
:
KCFG
minimize_kcfg
(
)
→
None
[source]
prune
(
node_id
:
NodeIdLike
,
keep_nodes
:
Iterable
[
NodeIdLike
]
=
()
)
→
list
[
int
]
[source]
remove_node
(
node_id
:
NodeIdLike
)
→
None
[source]
remove_terminal
(
node_id
:
int
)
→
None
[source]
property
terminal
:
list
[
Node
]
property
terminal_ids
:
set
[
int
]
to_dict
(
)
→
dict
[
str
,
Any
]
[source]
class
KCFGExplorationNodeAttr
(
value
:
str
)
[source]
Bases:
NodeAttr
TERMINAL
=
NodeAttr(value='terminal')