Index _ | A | B | C | D | E | F | G | I | L | M | N | P | S | T | U | V _ __call__() (Characteristic method) (Description method) (Divisor method) (DivisorDescription method) (ItemPolarity method) (Multiple method) (MultipleDescription method) (Predicate method) (PredicatePolarity method) __contains__() (Description method) (DivisorDescription method) (MultipleDescription method) __init__() (ConvexConcept method) __repr__() (Description method) (DivisorDescription method) (MultipleDescription method) A Absurd (class in galactic.algebras.convex.predicates.base.core) B Boolean (class in galactic.algebras.convex.characteristics.base.core) borders (ConvexConcept property) (Intent property) C cache() (in module galactic.algebras.convex.characteristics.base.core) Characteristic (class in galactic.algebras.convex.characteristics.base.core) characteristic (DivisorDescription property) (MultipleDescription property) co_domain (Context property) Component (class in galactic.algebras.convex.characteristics.base.core) components (Characteristic property) connection (ConvexConcept property) (ItemPolarity property) (PredicatePolarity property) Context (class in galactic.algebras.convex.descriptions.base.core) context (GaloisConnection property) ConvexConcept (class in galactic.algebras.convex.lattices.base.core) D Description (class in galactic.algebras.convex.descriptions.base.core) description (Context property) (PredicateUniverse property) Different (class in galactic.algebras.convex.predicates.base.core) Divisor (class in galactic.algebras.convex.predicates.examples.arithmetic.core) DivisorDescription (class in galactic.algebras.convex.descriptions.examples.arithmetic.core) domain (Context property) E Equality (class in galactic.algebras.convex.predicates.base.core) ExtensibleConvexLattice (class in galactic.algebras.convex.lattices.base.core) extent (ConvexConcept property) F find() (Component method) FrozenConvexLattice (class in galactic.algebras.convex.lattices.base.core) G galactic.algebras.convex.characteristics.base.core module galactic.algebras.convex.descriptions.base.core module galactic.algebras.convex.descriptions.examples.arithmetic.core module galactic.algebras.convex.lattices.base.core module galactic.algebras.convex.predicates.base.core module galactic.algebras.convex.predicates.examples.arithmetic.core module GaloisConnection (class in galactic.algebras.convex.descriptions.base.core) GreaterEqual (class in galactic.algebras.convex.predicates.base.core) GreaterThan (class in galactic.algebras.convex.predicates.base.core) I Identity (class in galactic.algebras.convex.characteristics.base.core) Integer (class in galactic.algebras.convex.characteristics.base.core) Intent (class in galactic.algebras.convex.descriptions.base.core) intent (ConvexConcept property) ItemPolarity (class in galactic.algebras.convex.descriptions.base.core) L LessEqual (class in galactic.algebras.convex.predicates.base.core) LessThan (class in galactic.algebras.convex.predicates.base.core) M maximum (Description attribute) (DivisorDescription attribute) (MultipleDescription attribute) member (Membership property) Membership (class in galactic.algebras.convex.predicates.base.core) minimum (Description attribute) (DivisorDescription attribute) (MultipleDescription attribute) module galactic.algebras.convex.characteristics.base.core galactic.algebras.convex.descriptions.base.core galactic.algebras.convex.descriptions.examples.arithmetic.core galactic.algebras.convex.lattices.base.core galactic.algebras.convex.predicates.base.core galactic.algebras.convex.predicates.examples.arithmetic.core Multiple (class in galactic.algebras.convex.predicates.examples.arithmetic.core) MultipleDescription (class in galactic.algebras.convex.descriptions.examples.arithmetic.core) N name (Characteristic property) Number (class in galactic.algebras.convex.characteristics.base.core) number (Divisor property) (Multiple property) P parameters (Divisor property) (DivisorDescription property) (Multiple property) (MultipleDescription property) (Predicate property) polarities (GaloisConnection property) predecessors() (Context method) Predicate (class in galactic.algebras.convex.predicates.base.core) PredicatePolarity (class in galactic.algebras.convex.descriptions.base.core) PredicateUniverse (class in galactic.algebras.convex.descriptions.base.core) S space (Description property) (Divisor property) (DivisorDescription property) (Multiple property) (MultipleDescription property) (Predicate property) String (class in galactic.algebras.convex.characteristics.base.core) successors() (Context method) T Tautology (class in galactic.algebras.convex.predicates.base.core) template (Absurd property) (Boolean property) (Characteristic property) (Different property) (Divisor property) (Equality property) (GreaterEqual property) (GreaterThan property) (Integer property) (LessEqual property) (LessThan property) (Membership property) (Multiple property) (Number property) (Predicate property) (String property) (Tautology property) U universes (Context property) V value (Different property) (Equality property) (GreaterEqual property) (GreaterThan property) (LessEqual property) (LessThan property)
