#include <src/vt/termination/dijkstra-scholten/ds.h>

template<typename CommType>

vt::term::ds::TermDS struct

Base classes

struct vt::term::EpochDependency

struct vt::term::EpochLabel

Public types

using CountType = int64_t

using AckReqListType = std::list<AckRequest>

Constructors, destructors, conversion operators

TermDS(EpochType in_epoch, bool isRoot_, NodeType self_)

TermDS(TermDS&&) defaulted

TermDS(TermDS const&) deleted

~TermDS() defaulted virtual

Public functions

void setRoot(bool isRoot)

void msgSent(NodeType successor, CountType count)

void gotAck(CountType count)

void doneSending()

void msgProcessed(NodeType predecessor, CountType count)

void needAck()

void tryAck()

void terminated()

auto hasParent() -> bool

void disengaged()

auto isEngaged() const -> bool

Public variables

bool is_terminated

Protected variables

NodeType parent

NodeType self

CountType C

CountType ackedArbitrary

CountType ackedParent

CountType reqedParent

CountType engagementMessageCount

CountType D

CountType processedSum

CountType lC

CountType lD

AckReqListType outstanding