4.1.8.1. causality/DAG

class mod.CausalityDAG

Representation of a causality DAG over a derivation graph.

dg

(Read-only) The DG this DAG is based on.

Type

DG

getPrintData(closeBorrowCycles) const

Parameters

closeBorrowCycles (bool) – if true, then borrowed vertices have only 1 representation, and the resulting diagram will have a cycle through it. Otherwise, borrowed vertices have 2 representations, one for the borrow and one for the repay.

Returns

a DG print data object set up to represent the DAG.

Return type

DGPrintData