set_theory 1.0.0

A comprehensive mathematical set theory library implementing standard set operations, multisets, and set laws verification
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

//! # Models Module
//!
//! Contains all set implementation types.
//!
//! This module provides concrete implementations of mathematical sets:
//! - `CustomSet`: Mutable set with full operation support
//! - `FrozenSet`: Immutable, thread-safe set
//! - `MultiSet`: Set allowing duplicate elements with multiplicity

pub mod custom_set;
pub mod frozen_set;
pub mod multiset;

pub use custom_set::CustomSet;
pub use frozen_set::FrozenSet;
pub use multiset::MultiSet;