OKlibrary  0.2.1.6
Namespace List
Here is a list of all namespaces with brief descriptions:
Algebra
Algebra_Concepts_tests
Algebra_Traits
AlgebraicStructures
Algorithms
Algorithms_Testobjects
Algorithms_Tests
Analyse
AutomatedCompilation
Auxiliary
BCAES
BoolVarLit
boost
boost::filesystem
CgiHandling
Clauses
Clauses::Error
Clausesets
ClauseSets
Combinatorics
Combinatorics_Testobjects
Combinatorics_Tests
ConceptDefinitions
Concepts_General
Concepts_Graphs
Concepts_Variables
DatabaseHandler01
DatabaseHandler01::AuxiliaryFunctions
DatabaseHandler01::Error
DatabaseHandler01::local_get_values
DatabaseHandler01::local_TableHandler_clear
Deskriptorverarbeitung
Deskriptorverarbeitung::Fehler
DLL_Algorithms
Doc_Object
Domains
EKLMAES
emailHandling
EndlicherAutomat
Error_Variables
ErrorHandling
ExperimentDurchfuehrung
ExperimentDurchfuehrung::Fehler
ExperimentUebertragung
ExperimentVorbereitung
ExperimentVorbereitung::Fehler
FaronsPuzzle
FunctionHandling
Generators
Graphs
Implementation
InputCls
IteratorHandling
IteratorHandling_Tests
KMZ
Latex_Handler
LGAES
LinInequal
Literal
Literals
LitSets
Matrices
MessageHandling
NumberTheory
NumberTheory_Concept_test
NumberTheory_Testobjects
NumberTheory_Traits
NumericalLimits
Numerics
Numerics_Testobjects
Numerics_Tests
OKlibAll components of the OKlibrary
OKlib::AlgebraicStructuresComponents related to the search for algebraic structures by means of (generalised) SAT
OKlib::AllSolutionsComponents for extracting all satisfying assignments (in some form)
OKlib::ApplicationsComponents for applications of generalised satisfiability
OKlib::Applications::QuantumPhysicsComponents related to certain aspects of quantum physics
OKlib::AtomicConditions
OKlib::AtomicConditions::traits
OKlib::BigIntegersClasses and tools for handling integers of arbitrary size
OKlib::CombinatoricsThe part of the OKlibrary for general combinatorics
OKlib::Combinatorics::GraphsSupermodule for dedicated graph algorithms
OKlib::Combinatorics::Graphs::TreeDecompositionsModule for tree decompositions
OKlib::Combinatorics::HypergraphsSupermodule for dedicated hypergraph algorithms
OKlib::Combinatorics::Hypergraphs::ColouringsComponents for hypergraph colouring
OKlib::Combinatorics::Hypergraphs::GeneratorsHypergraph generators at C++ level
OKlib::Combinatorics::Hypergraphs::Generators::tests
OKlib::Combinatorics::Hypergraphs::TransversalsComponents for handling hypergraph transversals
OKlib::Combinatorics::Hypergraphs::Transversals::BoundedComponents for handling hypergraph transversals of bounded size
OKlib::Combinatorics::Hypergraphs::Transversals::MinimalComponents for handling minimal hypergraph transversals
OKlib::Combinatorics::traits
OKlib::ComplexitySystemModule for (persistent) complexity measurements
OKlib::ComplexityTheoryComponents for constructions from complexity theory (especially those related to propositional logic)
OKlib::ConceptsConcept definitions and accompanying generic tests
OKlib::Concepts::ConceptTestsContains macros for testing concept definitions (and related constructions)
OKlib::Concepts::implementation_has_concept_tag
OKlib::Concepts::TestIndex
OKlib::Concepts::tests
OKlib::Concepts::traits
OKlib::Concepts::traits::implementation_concept_tag
OKlib::CryptanalysisComponents for cryptanalysis via (generalised) SAT
OKlib::DPvDeprecated namespace containing components for Davis-Putnam resolution
OKlib::DPv::Error
OKlib::DPv::Input
OKlib::DPv::Output
OKlib::DPv::Testobjects
OKlib::EquivalencesActive clause-sets for equivalence reasoning
OKlib::ErrorHandlingTools for error (and exception) handling
OKlib::ExperimentSystemComponents for performing experiments
OKlib::FrequencyAssignmentActive clause-sets for frequency assignment
OKlib::GamesComponents related to (combinatorial) games
OKlib::GeneralInputOutputTools for handling input and output
OKlib::GraphDecompositionModule for SAT decision by means of graph decomposition
OKlib::GraphDrawingTools for drawing graphs and trees
OKlib::HamiltonianPathsActive clause-sets to search for Hamiltonian paths etc
OKlib::HittingClauseSetsModule for components regarding hitting clause-sets
OKlib::HypergraphColouring
OKlib::InjectivityConstraints
OKlib::InputOutput
OKlib::IsomorphismsComponents for finding isomorphisms
OKlib::IteratorsGeneral tools for iterator handling
OKlib::LaTeXTools for LaTeX-Output
OKlib::LatinSquaresTools for latin squares and generalisations and refinements
OKlib::LatinSquares::tests
OKlib::LinearInequalitiesModule with active clause-sets for linear inequalities
OKlib::Literals
OKlib::Literals::traits
OKlib::MatchingsMatching algorithms for graphs (in the Boost sense)
OKlib::MatricesModule for matrix computations
OKlib::Matrices::tests
OKlib::MessagesModule for objects representing units of meaning
OKlib::Messages::demo
OKlib::Messages::messages
OKlib::Messages::UtilitiesComponents for creating standard message objects
OKlib::MetaProgrammingComponents to support meta programming
OKlib::MetaProgramming::MacrosForMetaValues
OKlib::MinUnsatComponents for handling minimal unsatisfiability
OKlib::OKsolver_1_0Applications implementing the algorithm of the old OKsolver
OKlib::OKsolver_2_0Applications implementing the new OKsolver (for SAT 2009)
OKlib::OKsolver_3_0Applications implementing the successor of OKsolver_2_0
OKlib::OrderRelations
OKlib::Parallelism
OKlib::ParserComponents to support parsing
OKlib::PartialAssignments
OKlib::PartialAssignments::tests
OKlib::ProgrammingThe part of the OKlibrary delivering general programming support
OKlib::Programming::ParallelismComponents for parallelising algorithms
OKlib::Programming::SequencesGeneric algorithms for sequences
OKlib::Programming::Sequences::tests
OKlib::Programming::UtilitiesUtilities for general programming
OKlib::Programming::Utilities::OrderRelationsComponents for handling order relations
OKlib::ProgramOptionsComponents for handling command-line parameters
OKlib::PseudoBooleanComponents for active clause-sets for pseudo-boolean constraints
OKlib::RamseyTheoryComponents regarding Ramsey theory
OKlib::RandomGeneratorComponents for the generation of random problems
OKlib::RefactoringTools for refactoring C++ code
OKlib::Refactoring::traits
OKlib::ResolutionComponents for resolution handling
OKlib::Rijndael
OKlib::Sat
OKlib::Sat::PrI
OKlib::Sat::PrI::ACl
OKlib::Sat::PrI::ACl::InC
OKlib::Sat::PrI::ACl::InC::tests
OKlib::SATAlgorithms
OKlib::SATAlgorithms::tests
OKlib::SATCompetitionTools for evaluating SAT competition (under various circumstances)
OKlib::SATCompetition::Testobjects
OKlib::SATCompetition::traits
OKlib::SatisfiabilityThe part of the OKlibrary concerned with (generalised) satisfiability
OKlib::Satisfiability::AlgorithmsComponents for (generalised) SAT algorithms
OKlib::Satisfiability::Algorithms::AutarkiesComponents for autarky handling
OKlib::Satisfiability::Algorithms::Autarkies::MatchingAutarkiesComponents related to finding matching autarkies
OKlib::Satisfiability::Algorithms::Autarkies::SearchComponents for (general) autarky search
OKlib::Satisfiability::Algorithms::BacktrackingComponents for (generalised) backtracking SAT algorithms
OKlib::Satisfiability::Algorithms::LearningComponents for clause-learning
OKlib::Satisfiability::Algorithms::LocalSearchComponents for supporting local search
OKlib::Satisfiability::AssignmentsThe part of the OKlibrary concerned with assignments (partial and total)
OKlib::Satisfiability::Assignments::PartialAssignmentsComponents regarding partial assignments
OKlib::Satisfiability::Assignments::TotalAssignmentsComponents regarding total assignments
OKlib::Satisfiability::EnumerationSupermodule for counting, enumerating and sampling SAT problems
OKlib::Satisfiability::FiniteFunctionsAlgorithms and representations for finite (especially boolean) functions
OKlib::Satisfiability::FiniteFunctions::tests
OKlib::Satisfiability::HeuristicsComponents for heuristics
OKlib::Satisfiability::Heuristics::ProjectionsComponents for projections
OKlib::Satisfiability::Heuristics::StatisticalAnalysisComponents for statistical analysis tools supporting heuristics
OKlib::Satisfiability::Heuristics::StructureRecognitionComponents for structure recognition
OKlib::Satisfiability::InterfacesThe supermodule with components for satisfiability interfaces
OKlib::Satisfiability::Interfaces::InputOutputComponents for SAT-related input/output
OKlib::Satisfiability::ProblemInstancesThe supermodule with components for problem instances
OKlib::Satisfiability::ProblemInstances::ActiveClausesThe supermodule with components for problem instances
OKlib::Satisfiability::ProblemInstances::ActiveClauses::InjectivityConstraintsActive clauses expressing that variables must get different values, and generalisations and refinements
OKlib::Satisfiability::ProblemInstances::ClausesGeneral plans on clauses
OKlib::Satisfiability::ProblemInstances::Clauses::tests
OKlib::Satisfiability::ProblemInstances::ClauseSetsComponents for clause-sets
OKlib::Satisfiability::ProblemInstances::ConditionsComponents for conditions
OKlib::Satisfiability::ProblemInstances::Conditions::AtomicConditionsComponents for atomic conditions (corresponding to characteristic functions of sets)
OKlib::Satisfiability::ProblemInstances::LiteralsModule with components for (generalised) literals
OKlib::Satisfiability::ProblemInstances::VariablesComponents for variables
OKlib::Satisfiability::ProofSystemsSuper-module on proof systems
OKlib::Satisfiability::QuantificationComponents for quantified generalised SAT problems
OKlib::Satisfiability::ReductionsSuper-module for reductions
OKlib::Satisfiability::Reductions::BasesComponents for computing r-bases
OKlib::Satisfiability::Reductions::FailedLiteralReductionComponents around the r_2-reduction
OKlib::Satisfiability::Reductions::KLevelForcedAssignmentsComponents for generalised unit-clause elimination
OKlib::Satisfiability::Reductions::KLevelForcedAssignments::tests
OKlib::Satisfiability::Reductions::UnitClausePropagationComponents for unit-clause propagation ("UCP")
OKlib::Satisfiability::SolversSuper-module on solvers
OKlib::Satisfiability::SpecialStructuresSuper-module on special structures (relevant for SAT-solving)
OKlib::Satisfiability::TransformersThe supermodule with components for transformers into SAT
OKlib::Satisfiability::Transformers::CrispCSPModule with components for transformers of crisp CSP problems into SAT
OKlib::Satisfiability::Transformers::GeneratorsGenerators for (active) clause-sets (which are not yet in their own module)
OKlib::Satisfiability::Transformers::LadderLogicComponents for transforming ladder logic into propositional logic
OKlib::Satisfiability::Transformers::SATModuloTheoriesComponents for active clause-sets with an underlying logical theory
OKlib::Satisfiability::ValuesThe part of the OKlibrary concerned with values (of variables)
OKlib::Satisfiability::Values::traits
OKlib::SearchDataStructuresData structures with additional search functionality
OKlib::SetAlgorithmsComponents for sets-related algorithms and datastructures
OKlib::SetAlgorithms::SubsumptionsTags
OKlib::SetAlgorithms::Testobjects
OKlib::SetAlgorithms::tests
OKlib::StatisticsComponents providing statistical tools
OKlib::SumProductComponents for sum-product (or belief-propagation) algorithms
OKlib::SystemSpecificsTools for handling and testing components which are depending on the operating system or the compiler
OKlib::TestExecutionToolsGeneric components to help with testing
OKlib::TestSystemThe components for higher-order unit-testing
OKlib::TestSystem::Implementation
OKlib::TestSystem::messages
OKlib::TestSystem::tests
OKlib::traitsAll traits meta-functions concerning the Standard
OKlib::TreesModule for trees (algorithms and data structures; all kinds of trees)
OKlib::UtilitiesVarious utilities
OKlib::Van_der_Waerden_hypergraph
OKlib::Van_der_Waerden_hypergraph::Testobjects
OKlib::Variables
OKlib::Variables::traits
OutputCls
PartAssignments
PartAssignments::Error
PartialAssignments
Ramsey
SetsOfVariables
StreamHandling
StreamHandling::Error_file2string
StreamHandling::Error_FileLines
StreamHandling::Error_LockFile
StreamHandling::Error_remove_lines
StreamHandling::Error_TempFile
StringHandling
StringHandling::Error_StringHandling
Support
SystemHandling
SystemHandling::Implementation_pid2string
Tests_General
Tests_General::Helper_VariableDomain
Tests_Generators
Tests_Ramsey
TimeHandling
Traits_General
Traits_General::Basis_VariablesAsIntegers_DomainWithNameAdministration
Traits_Variables
TransformationsBiclique
UnitPropagation
Values
Variables
Variables::Error
VEKLMAES
VLGAES
XercesTools
XercesTools::ErrorMessages
XMLHandling