Skip to main content

sim_incremental_core/dataflow/
mod.rs

1//! Deterministic, located dataflow graphs.
2
3mod engine;
4mod graph;
5mod lattice;
6
7pub use engine::{
8    CausalPredecessor, CompletionProofMismatch, CompletionProofResult, ContinuationFingerprint,
9    DATAFLOW_PROOF_SCHEMA_REVISION, DataflowCompletionProof, DataflowContinuation, DataflowError,
10    DataflowEvent, DataflowExplanation, DataflowFailure, DataflowProgress, DataflowProgressResult,
11    DataflowResult, DataflowSolution, DataflowUsage, FixpointEngine,
12};
13pub use graph::{
14    AdaptedGraph, AdapterBuildResult, Boundary, DataflowGraph, Edge, EdgeClass, EdgeSpec,
15    GraphBuildError, GraphDirection, LocatedGraphAdapter, Node, NodeSpec,
16};
17pub use lattice::{
18    AdmittedTransfer, DataflowLaw, JoinSemilattice, LawSuite, LawViolation, StateSize,
19    TransferPolicy,
20};