← Python API
vraven.decompiler · class

MechanismIR

MechanismIR(model_class: 'str', framework: 'str', framework_version: 'str', capture_route: 'CaptureRoute', nodes: 'list[IRNode]', edges: 'list[IREdge]', inputs: 'list[str]', outputs: 'list[str]', attempts: 'list[CaptureAttempt]' = <factory>, constraints: 'list[ShapeConstraint]' = <factory>, coverage: 'CaptureCoverage' = <factory>, metadata: 'dict[str, Any]' = <factory>, schema_version: 'str' = '0.1') -> None

VRAVEN's architecture-neutral representation of an observed model computation.

Usage

from vraven.decompiler import MechanismIR

value = MechanismIR(...)

Methods

content_hash(self) -> 'str'

Public method.

from_dict(payload: 'Mapping[str, Any]') -> "'MechanismIR'"

Public method.

get_node(self, node_id_or_name: 'str') -> 'IRNode'

Public method.

load(path: 'str | Path') -> "'MechanismIR'"

Public method.

mechanism_nodes(self) -> 'list[IRNode]'

Public method.

node_map(self) -> 'dict[str, IRNode]'

Public method.

predecessors(self, node_id: 'str') -> 'list[str]'

Public method.

save(self, path: 'str | Path') -> 'Path'

Public method.

successors(self, node_id: 'str') -> 'list[str]'

Public method.

summary(self) -> 'dict[str, Any]'

Public method.

to_dict(self) -> 'dict[str, Any]'

Public method.

topological_index(self) -> 'dict[str, int]'

Public method.

unresolved(self) -> 'list[IRNode]'

Public method.

Source of truthThis page is generated from the checked-out public symbol, signature, and docstring. Pin the package version for reproducible work.