fixture3_ddmin/lib.rs
1//! Sequential `DDMin` reducer for ordered candidate lists.
2//!
3//! The crate reduces a list while preserving an oracle-defined property.
4//! It does not inspect candidates, mutate files, or run commands by itself.
5//! Callers provide candidates and an oracle that reports whether a candidate
6//! list is still interesting.
7
8#[cfg(feature = "algorithm")]
9mod algorithm;
10mod types;
11
12#[cfg(feature = "algorithm")]
13pub use algorithm::ddmin;
14#[cfg(feature = "algorithm")]
15pub use types::{
16 DdminGuarantee, DdminInput, DdminOptions, DdminOracle, DdminOutput, DdminStats,
17 DdminStopReason, OracleOutcome, UnresolvedReason,
18};