line::ldes::engine::LnJoin Struct Reference

Progress of one AND join within one invocation, JoinProgress of the Java engine. More...

#include <line/solvers/ldes/ldes_ln_engine.h>

Collaboration diagram for line::ldes::engine::LnJoin:

Public Attributes
std::map< std::size_t, std::uint64_t >	got
std::map< std::pair< std::size_t, std::uint64_t >, long >	discard

Detailed Description

Progress of one AND join within one invocation, JoinProgress of the Java engine.

got holds the inputs arrived in the current round with the fork instance each came from; discard counts the late inputs of rounds that already fired on a QUORUM, keyed by (input activity, fork instance), which end their line when they arrive instead of counting towards the next round.

Definition at line 231 of file ldes_ln_engine.h.

Member Data Documentation

discard

std::map<std::pair<std::size_t, std::uint64_t>, long> line::ldes::engine::LnJoin::discard

Definition at line 233 of file ldes_ln_engine.h.

got

std::map<std::size_t, std::uint64_t> line::ldes::engine::LnJoin::got

Definition at line 232 of file ldes_ln_engine.h.

---

The documentation for this struct was generated from the following file:

• include/line/solvers/ldes/ldes_ln_engine.h