Index _ | A | B | C | D | E | F | G | I | J | 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) (ComplementStrategy method) (CompositeStrategy method) (Description method) (ItemPolarity method) (Measure method) (MetaStrategy method) (NaiveStrategy method) (NormalisedSupport method) (Predicate method) (PredicatePolarity method) (RecursiveStrategy method) (RelativeSupport method) (SelectiveStrategy method) (Strategy method) (Support method) (Tautology method) (ValuedStrategy method) __contains__() (Context method) (Convex method) (Description method) (Intent method) (PredicateUniverse method) __eq__() (Concept method) (Convex method) (Intent method) __ge__() (Concept method) (Convex method) (Intent method) __getitem__() (PredicateUniverse method) __gt__() (Concept method) (Convex method) (Intent method) __hash__() (Concept method) (Intent 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) A Absurd (class in galactic.algebras.convex.predicates.core) ALIAS (Boolean attribute) (BooleanDescription attribute) (ComplementStrategy attribute) (Component attribute) (CompositeStrategy attribute) (DivisorDescription attribute) (Integer attribute) (MultipleDescription attribute) (MultipleStrategy attribute) (NaiveStrategy attribute) (NormalisedSupport attribute) (Number attribute) (PredicateUniverse attribute) (RecursiveStrategy attribute) (RelativeSupport attribute) (SelectiveStrategy attribute) (String attribute) (Support attribute) B BasicStrategy (class in galactic.algebras.convex.strategies.core) Boolean (class in galactic.algebras.convex.characteristics.core) BooleanDescription (class in galactic.algebras.convex.descriptions.core) BooleanPredicate (class in galactic.algebras.convex.predicates.core) C cache_clear() (Characteristic method) cache_info() (Characteristic method) Characteristic (class in galactic.algebras.convex.characteristics.core) characteristic (DivisorDescription property) (MultipleDescription property) co_domain (Context property) ComplementStrategy (class in galactic.algebras.convex.strategies.core) Component (class in galactic.algebras.convex.characteristics.core) CompositeStrategy (class in galactic.algebras.convex.strategies.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) 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.measures.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) L LessEqual (class in galactic.algebras.convex.predicates.core) LessThan (class in galactic.algebras.convex.predicates.core) M Measure (class in galactic.algebras.convex.measures.core) meet() (Concept method) (Convex method) (Extent method) (Intent method) Membership (class in galactic.algebras.convex.predicates.core) MetaStrategy (class in galactic.algebras.convex.strategies.core) model_config (Absurd attribute) (BasicStrategy attribute) (Boolean attribute) (BooleanDescription attribute) (BooleanPredicate attribute) (Characteristic attribute) (ComplementStrategy attribute) (Component attribute) (CompositeStrategy attribute) (Degenerated attribute) (Description attribute) (Different attribute) (Divisor attribute) (DivisorDescription attribute) (Equality attribute) (GreaterEqual attribute) (GreaterThan attribute) (Integer attribute) (LessEqual attribute) (LessThan attribute) (Measure attribute) (Membership attribute) (MetaStrategy attribute) (Multiple attribute) (MultipleDescription attribute) (MultipleStrategy attribute) (NaiveStrategy attribute) (NormalisedSupport attribute) (Number attribute) (Predicate attribute) (PredicateUniverse attribute) (RecursiveStrategy attribute) (RelativeSupport attribute) (SelectiveStrategy attribute) (Strategy attribute) (String attribute) (Support attribute) (Tautology attribute) (ValuedStrategy attribute) model_post_init() (Boolean method) (Characteristic method) (Integer method) (Number method) (PredicateUniverse method) (String method) module galactic.algebras.convex.characteristics.core galactic.algebras.convex.descriptions.core galactic.algebras.convex.descriptions.examples.arithmetic.core galactic.algebras.convex.measures.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.examples.arithmetic.core) N NaiveStrategy (class in galactic.algebras.convex.strategies.core) NormalisedSupport (class in galactic.algebras.convex.measures.core) Number (class in galactic.algebras.convex.characteristics.core) P 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) RelativeSupport (class in galactic.algebras.convex.measures.core) S SelectiveStrategy (class in galactic.algebras.convex.strategies.core) Strategy (class in galactic.algebras.convex.strategies.core) String (class in galactic.algebras.convex.characteristics.core) successors() (Context method) Support (class in galactic.algebras.convex.measures.core) T Tautology (class in galactic.algebras.convex.predicates.core) template (Absurd property) (Boolean property) (BooleanPredicate 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 ValuedStrategy (class in galactic.algebras.convex.strategies.core)
