Index _ | A | B | C | D | E | F | G | I | J | L | M | N | P | S | T | U | V _ __and__() (Concept method) (Extent method) (Intent method) __bool__() (Context method) (PredicateUniverse method) __call__() (Absurd method) (Characteristic method) (Description method) (ItemPolarity method) (Predicate method) (PredicatePolarity method) (Tautology method) __contains__() (Context method) (Description method) (Intent method) (PredicateUniverse method) __eq__() (Intent method) (Predicate method) __ge__() (Intent method) __getitem__() (PredicateUniverse method) __gt__() (Intent method) __hash__() (Concept method) (Intent method) (Predicate method) __iter__() (Context method) (Intent method) (PredicateUniverse method) __le__() (Intent method) __len__() (Context method) (Intent method) (PredicateUniverse method) __lt__() (Intent method) __new__() (Extent static method) (Intent static method) __or__() (Concept method) (Extent method) (Intent method) _call() (Boolean method) (Characteristic method) (Description method) (DivisorDescription method) (Integer method) (MultipleDescription method) (Number method) (String method) _compute_bitmap() (Extent method) (Intent method) _contains() (Description method) (DivisorDescription method) (MultipleDescription method) _truth() (Absurd method) (Degenerated method) (Different method) (Divisor method) (Equality method) (GreaterEqual method) (GreaterThan method) (LessEqual method) (LessThan method) (Membership method) (Multiple method) (Predicate method) (Tautology method) A Absurd (class in galactic.algebras.convex.predicates.core) B Boolean (class in galactic.algebras.convex.characteristics.core) C cache() (in module galactic.algebras.convex.characteristics.core) Characteristic (class in galactic.algebras.convex.characteristics.core) characteristic (DivisorDescription property) (MultipleDescription property) co_domain (Context property) Component (class in galactic.algebras.convex.characteristics.core) components (Characteristic property) Concept (class in galactic.algebras.convex.descriptions.core) connection (Concept property) (Intent property) (ItemPolarity property) (PredicatePolarity property) Context (class in galactic.algebras.convex.descriptions.core) context (GaloisConnection property) D Degenerated (class in galactic.algebras.convex.predicates.core) Description (class in galactic.algebras.convex.descriptions.core) description (Context property) (PredicateUniverse property) Different (class in galactic.algebras.convex.predicates.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.core) Extent (class in galactic.algebras.convex.descriptions.core) extent (Concept property) F find() (Component method) G galactic.algebras.convex.characteristics.core module galactic.algebras.convex.descriptions.core module galactic.algebras.convex.descriptions.examples.arithmetic.core module galactic.algebras.convex.predicates.core module galactic.algebras.convex.predicates.examples.arithmetic.core module GaloisConnection (class in galactic.algebras.convex.descriptions.core) GreaterEqual (class in galactic.algebras.convex.predicates.core) GreaterThan (class in galactic.algebras.convex.predicates.core) I Identity (class in galactic.algebras.convex.characteristics.core) Integer (class in galactic.algebras.convex.characteristics.core) Intent (class in galactic.algebras.convex.descriptions.core) intent (Concept property) ItemPolarity (class in galactic.algebras.convex.descriptions.core) J join() (Concept method) (Extent method) L LessEqual (class in galactic.algebras.convex.predicates.core) LessThan (class in galactic.algebras.convex.predicates.core) M maximum (Description attribute) (DivisorDescription attribute) (MultipleDescription attribute) meet() (Concept method) (Extent method) member (Membership property) Membership (class in galactic.algebras.convex.predicates.core) minimum (Description attribute) (DivisorDescription attribute) (MultipleDescription attribute) module galactic.algebras.convex.characteristics.core galactic.algebras.convex.descriptions.core galactic.algebras.convex.descriptions.examples.arithmetic.core galactic.algebras.convex.predicates.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.core) number (Divisor property) (Multiple property) P parameters (Predicate property) polarities (GaloisConnection property) predecessors() (Context method) Predicate (class in galactic.algebras.convex.predicates.core) PredicatePolarity (class in galactic.algebras.convex.descriptions.core) PredicateUniverse (class in galactic.algebras.convex.descriptions.core) S space (Description property) (Predicate property) String (class in galactic.algebras.convex.characteristics.core) successors() (Context method) T Tautology (class in galactic.algebras.convex.predicates.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)
