do_util/lib.rs
1//! Discrete Optimization utility data-structures
2
3// useful additional warnings (missing docs, crates imported but unused, ...)
4#![warn(missing_debug_implementations)]
5#![warn(missing_docs)]
6#![warn(trivial_casts, trivial_numeric_casts)]
7// #![warn(unsafe_code)]
8#![warn(unused_extern_crates)]
9#![warn(variant_size_differences)]
10
11// some more useful warnings (no shadowing, similar names, ...)
12#![warn(clippy::similar_names)]
13#![warn(clippy::print_stdout)]
14#![warn(clippy::use_debug)]
15#![warn(clippy::shadow_unrelated)]
16#![warn(clippy::shadow_same)]
17#![warn(clippy::shadow_reuse)]
18
19// checks integer arithmetic in the project & truncations (useful for debug)
20// #![warn(clippy::integer_arithmetic)]
21// #![warn(clippy::cast_possible_truncation)]
22// #![warn(clippy::cast_possible_wrap)]
23// #![warn(clippy::cast_precision_loss)]
24// #![warn(clippy::cast_sign_loss)]
25
26/// Implements various priority queues. Including Pareto priority queues.
27pub mod priority_queue;
28
29/// defines set data-structures
30pub mod set;
31
32/// defines set store data-structures
33pub mod set_store;