Method from_dict

verifier/AgentVerifier/WorkflowToLean.py:188–193

(d: dict)

    @staticmethod
    def from_dict(d: dict) -> "EdgeIR":
        return EdgeIR(**{k: d.get(k) for k in (
            "edge_type", "from_node", "to_node", "cond_node", "then_entry",
            "else_entry", "header", "body_entry", "exit_node",
            "fork_node", "branches", "join_node",
        )})


# ---------- WorkflowIR ----------