OKlibrary  0.2.1.6
ConceptDefinitions Namespace Reference

Classes

struct  FullyConstructibleConcept
struct  OutputStreamableConcept
struct  TotalOrderComparableConcept
struct  Root_tag
struct  FixedGlobalContainer_concept
struct  FixedGlobalContainer_tag
struct  FiniteDomain_concept
struct  FiniteDomain_tag
struct  BooleanDomain_concept
struct  BooleanDomain_tag
struct  Semiring_concept
struct  Semiring_tag
struct  CommutativeSemiring_concept
struct  CommutativeSemiring_tag
struct  SignRing_concept
struct  SignRing_tag
struct  Variable_concept
struct  Variable_tag
struct  VariableWithHistory_concept
struct  VariableWithHistory_tag
struct  VariableWithCounting_concept
struct  VariableWithCounting_tag
struct  VariableWithInfo_concept
struct  VariableWithInfo_tag
struct  VariableIndexInfoPolicy_concept
struct  VariableIndexInfoPolicy_tag
struct  SetOfVariables_concept
struct  SetOfVariables_tag
struct  SingletonSetOfVariables_concept
struct  SingletonSetOfVariables_tag
struct  AbstractSpecifier_concept
struct  AbstractSpecifier_tag
struct  SpecifierWithVariables_concept
struct  SpecifierWithVariables_tag
struct  BasicPartialAssignment_concept
struct  BasicPartialAssignment_tag
struct  GeneralLiteral_concept
struct  GeneralLiteral_tag
struct  LiteralWithVariables_concept
struct  LiteralWithVariables_tag
struct  AtomicLiteral_concept
struct  AtomicLiteral_tag
struct  ValueLiteral_concept
struct  ValueLiteral_tag
struct  ValueLiteralWithInfo_concept
struct  ValueLiteralWithInfo_tag
struct  LiteralsAsPairsInfoPolicy_concept