relmath/core/mod.rs
1//! Core relation types and algorithms.
2
3mod binary;
4mod carrier;
5mod nary;
6mod unary;
7
8/// Finite binary relation type.
9pub use binary::BinaryRelation;
10/// Deterministic explicit finite carrier distinct from inferred tuple support.
11pub use carrier::FiniteCarrier;
12/// Deterministic exact grouping of an n-ary relation.
13pub use nary::GroupedRelation;
14/// Deterministic exact n-ary relation with a named schema.
15pub use nary::NaryRelation;
16/// Errors returned by n-ary relation validation and schema-aware operations.
17pub use nary::NaryRelationError;
18/// Finite unary relation type.
19pub use unary::UnaryRelation;