4.1.8.1. causality/DAG

class causality.DAG

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