//! Stage 2 — Argument construction implementations.
//!
//! Concrete implementations of the
//! [`ArgumentConstructor`](crate::pipeline::traits::ArgumentConstructor) trait,
//! which builds the set of all derivable ASPIC+ arguments from a grounded system.
//!
//! | Implementation | Strategy |
//! |----------------|----------|
//! | [`ForwardChainingConstructor`] | Fixpoint saturation via forward chaining with non-circularity guard |

pub mod forward_chaining;

pub use forward_chaining::ForwardChainingConstructor;
