Index _ | A | B | C | D | E | F | G | I | J | K | L | M | N | P | R | S | T | U | V _ __and__() (Concept method) (Convex method) (Extent method) (Intent method) __bool__() (Context method) (PredicateUniverse method) __call__() (Absurd method) (BasicStrategy method) (Characteristic method) (Description method) (ItemPolarity method) (MultipleStrategy method) (NaiveStrategy method) (Predicate method) (PredicatePolarity method) (RecursiveStrategy method) (Strategy method) (Tautology method) __contains__() (Context method) (Convex method) (Description method) (Intent method) (PredicateUniverse method) __eq__() (Concept method) (Convex method) (Intent method) (Predicate method) __ge__() (Concept method) (Convex method) (Intent method) __getitem__() (PredicateUniverse method) __gt__() (Concept method) (Convex method) (Intent method) __hash__() (Concept method) (Intent method) (Predicate method) __iter__() (Context method) (Convex method) (Intent method) (PredicateUniverse method) __le__() (Concept method) (Convex method) (Intent method) __len__() (Context method) (Intent method) (PredicateUniverse method) __lt__() (Concept method) (Convex method) (Intent method) __new__() (Extent static method) (Intent static method) __or__() (Concept method) (Convex method) (Extent method) (Intent method) __str__() (Characteristic method) _call() (BasicStrategy method) (Boolean method) (Characteristic method) (Description method) (DivisorDescription method) (Integer method) (MultipleDescription method) (MultipleStrategy method) (Number method) (String method) _compute() (Characteristic method) _compute_bitmap() (Convex method) (Extent method) _contains() (Description method) (DivisorDescription method) (MultipleDescription method) _set_cache() (Characteristic method) _set_compiled() (Component method) _set_components() (Characteristic method) _set_multiple() (Component method) _set_space() (Description 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) _validate_characteristic() (DivisorDescription method) (MultipleDescription method) (MultipleStrategy method) A Absurd (class in galactic.algebras.convex.predicates.core) B BasicStrategy (class in galactic.algebras.convex.strategies.core) Boolean (class in galactic.algebras.convex.characteristics.core) C cache_clear() (Characteristic method) cache_info() (Characteristic method) category() (Characteristic class method) (Component class method) (Description class method) (Strategy class method) Characteristic (class in galactic.algebras.convex.characteristics.core) characteristic (DivisorDescription property) (MultipleDescription property) (MultipleStrategy property) co_domain (Context property) Component (class in galactic.algebras.convex.characteristics.core) Concept (class in galactic.algebras.convex.descriptions.core) connection (Concept property) (Convex property) (Extent property) (Intent property) (ItemPolarity property) (PredicatePolarity property) Context (class in galactic.algebras.convex.descriptions.core) context (GaloisConnection property) Convex (class in galactic.algebras.convex.descriptions.core) convexes (Concept property) (Intent property) count() (PredicateUniverse method) D Degenerated (class in galactic.algebras.convex.predicates.core) Description (class in galactic.algebras.convex.descriptions.core) descriptions (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 galactic.algebras.convex.strategies.core module galactic.algebras.convex.strategies.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 index (Convex property) index() (PredicateUniverse method) 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) (Convex method) (Extent method) (Intent method) K kind() (Characteristic class method) (Component class method) (Description class method) (Strategy class 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) (Convex method) (Extent method) (Intent method) member (Membership property) Membership (class in galactic.algebras.convex.predicates.core) 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 galactic.algebras.convex.strategies.core galactic.algebras.convex.strategies.examples.arithmetic.core Multiple (class in galactic.algebras.convex.predicates.examples.arithmetic.core) MultipleDescription (class in galactic.algebras.convex.descriptions.examples.arithmetic.core) MultipleStrategy (class in galactic.algebras.convex.strategies.core) (class in galactic.algebras.convex.strategies.examples.arithmetic.core) N NaiveStrategy (class in galactic.algebras.convex.strategies.core) 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) R RecursiveStrategy (class in galactic.algebras.convex.strategies.core) S set_name() (Characteristic method) set_space() (BasicStrategy method) set_strategies() (MultipleStrategy method) set_strategy() (RecursiveStrategy method) set_support() (RecursiveStrategy method) space (Predicate property) Strategy (class in galactic.algebras.convex.strategies.core) 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) (PredicateUniverse property) V value (Different property) (Equality property) (GreaterEqual property) (GreaterThan property) (LessEqual property) (LessThan property)
