List of all items

Structs

• disjoint::Conflict
• pattern::Pattern

Enums

• access::Access
• disjoint::ConflictKind
• disjoint::Disjointness
• pattern::Tri
• pattern::Undecidable
• require::Refusal

Functions

• access::classify
• access::is_known_action
• disjoint::all_disjoint
• disjoint::disjoint
• lattice::clamp
• lattice::join
• lattice::join_all
• lattice::meet
• lattice::meet_all
• normalize::is_normal
• normalize::normalize
• order::atom_eq
• order::atom_leq
• order::set_eq
• order::set_leq
• order::set_lt
• pattern::covers
• pattern::intersect
• pattern::overlaps
• require::require_attenuated
• require::require_disjoint