Method from_dict

verifier/AgentVerifier/WorkflowToLean.py:127–134

(d: dict)

    @staticmethod
    def from_dict(d: dict) -> "NodeIR":
        return NodeIR(
            id=d["id"], name=d["name"], step_type=d["step_type"],
            reads=[TypedVar.from_dict(r) for r in d["reads"]],
            writes=[TypedVar.from_dict(w) for w in d["writes"]],
            instruction=d.get("instruction"),
            submodule_ref=SubmoduleRef.from_dict(d["submodule_ref"]) if d.get("submodule_ref") else None,
        )


# ---------- EdgeIR ----------