3.2.11.1. causality/DAG.hpp¶

3.2.11.1.1. Class `causality::DAG`¶

class causality::DAG¶: Representation of a causality DAG over a derivation graph.

3.2.11.1.1.1. Synopsis¶

std::shared_ptr<dg::DG> getDG() const
dg::PrintData getPrintData(bool closeBorrowCycles) const

3.2.11.1.1.2. Details¶

std::shared_ptr<dg::DG> getDG() const¶

Returns: the DG this DAG is based on.

dg::PrintData getPrintData(bool closeBorrowCycles) const¶

Returns: a DG print data object set up to represent the DAG. If closeBorrowCycles is 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.