Library API¶

Class Hierarchy¶

- Struct SolverConfiguration
- Struct Variable
- Class AltComponentAnalyzer
- Class Antecedent
- Class BasePackedComponent
- Template Class BitStuffer
- Class CachedAssignment
- Class ClauseHeader
- Class Component
- Class ComponentArchetype
- Class ComponentCache
- Class ComponentManager
- Class DataAndStatistics
- Class DecisionStack
- Class DifferencePackedComponent
- Template Class GenericCacheableComponent
- Class Instance
- Class Literal
- Class LiteralID
- Template Class LiteralIndexedVector
- Class Random
  - Class Random::Mpz
- Class SampleAssignment
- Class SamplesManager
- Class Solver
- Class StackLevel
- Class StopWatch
- Enum AssignmentEncoding
- Enum PrintColor
- Enum SolverExitState
- Enum SolverNextAction
- Enum TopTreeNodeType

File Hierarchy¶

- Directory src
  - Directory types
    - File base_packed_component.cpp
    - File base_packed_component.h
    - File cacheable_component.h
    - File component.h
    - File component_archetype.cpp
    - File component_archetype.h
    - File difference_packed_component.h
  - File alt_component_analyzer.cpp
  - File alt_component_analyzer.h
  - File cached_assignment.h
  - File component_cache.cpp
  - File component_cache.h
  - File component_cache.inc
  - File component_management.cpp
  - File component_management.h
  - File containers.h
  - File instance.cpp
  - File instance.h
  - File main.cpp
  - File model_sampler.cpp
  - File model_sampler.h
  - File primitive_types.h
  - File rand_distributions.cpp
  - File rand_distributions.h
  - File sampler_tools.h
  - File solver.cpp
  - File solver.h
  - File solver_config.h
  - File stack.cpp
  - File stack.h
  - File statistics.cpp
  - File statistics.h
  - File structures.h

Full API¶

Classes and Structs¶

Struct SolverConfiguration
- Struct Documentation

Struct Variable
- Struct Documentation

Class AltComponentAnalyzer
- Class Documentation

Class Antecedent
- Class Documentation

Class BasePackedComponent
- Inheritance Relationships
  - Derived Type
- Class Documentation

Template Class BitStuffer
- Class Documentation

Class CachedAssignment
- Class Documentation

Class ClauseHeader
- Class Documentation

Class Component
- Class Documentation

Class ComponentArchetype
- Class Documentation

Class ComponentCache
- Class Documentation

Class ComponentManager
- Class Documentation

Class DataAndStatistics
- Class Documentation

Class DecisionStack
- Inheritance Relationships
  - Base Type
- Class Documentation

Class DifferencePackedComponent
- Inheritance Relationships
  - Base Type
- Class Documentation

Template Class GenericCacheableComponent
- Inheritance Relationships
  - Base Type
- Class Documentation

Class Instance
- Inheritance Relationships
  - Derived Type
- Class Documentation

Class Literal
- Class Documentation

Class LiteralID
- Class Documentation

Template Class LiteralIndexedVector
- Inheritance Relationships
  - Base Type
- Class Documentation

Class Random
- Nested Relationships
  - Nested Types
- Class Documentation

Class Random::Mpz
- Nested Relationships
- Class Documentation

Class SampleAssignment
- Class Documentation

Class SamplesManager
- Class Documentation

Class Solver
- Inheritance Relationships
  - Base Type
- Class Documentation

Class StackLevel
- Class Documentation

Class StopWatch
- Class Documentation

Enums¶

Enum AssignmentEncoding
- Enum Documentation

Enum PrintColor
- Enum Documentation

Enum SolverExitState
- Enum Documentation

Enum SolverNextAction
- Enum Documentation

Enum TopTreeNodeType
- Enum Documentation

Functions¶

Function ExitInvalidParam
- Function Documentation

Function ExitWithError
- Function Documentation

Function FileExists
- Function Documentation

Function main
- Function Documentation

Function NOT_A_CLAUSE
- Function Documentation

Function NOT_A_LIT
- Function Documentation

Function PrintError()
- Function Documentation

Function PrintError()
- Function Documentation

Function PrintInColor()
- Function Documentation

Function PrintInColor()
- Function Documentation

Function PrintInColor()
- Function Documentation

Function PrintInColor()
- Function Documentation

Function printInputArgumentDescription
- Function Documentation

Function PrintWarning
- Function Documentation

Function UpdateVarDescedantsList(const std::vector<ComponentVarAndCls>&, VariableIndex, std::vector<bool>&, std::vector<ComponentVarAndCls>, VariableIndex)
- Function Documentation

Function UpdateVarDescedantsList(const std::vector<ComponentVarAndCls>&, VariableIndex, std::vector<bool>&, std::vector<ComponentVarAndCls>, VariableIndex)
- Function Documentation

Defines¶

Define BITS_PER_BYTE
- Define Documentation

Define CA_CL_ALL_LITS_ACTIVE
- Define Documentation

Define CA_CL_IN_OTHER_COMP
- Define Documentation

Define CA_CL_IN_SUP_COMP_UNSEEN
- Define Documentation

Define CA_CL_MASK
- Define Documentation

Define CA_CL_SEEN
- Define Documentation

Define CA_NIL
- Define Documentation

Define CA_VAR_IN_OTHER_COMP
- Define Documentation

Define CA_VAR_IN_SUP_COMP_UNSEEN
- Define Documentation

Define CA_VAR_MASK
- Define Documentation

Define CA_VAR_SEEN
- Define Documentation

Define CACHED_VARIABLE_LEN
- Define Documentation

Define CLAUSE_ADDING_ERROR
- Define Documentation

Define clsSENTINEL
- Define Documentation

Define END_ESCAPE
- Define Documentation

Define ESCAPE_CHAR
- Define Documentation

Define EXIT_TIMEOUT
- Define Documentation

Define F_TRI
- Define Documentation

Define FILE_PATH_SEPARATOR
- Define Documentation

Define FIRST_VAR
- Define Documentation

Define INVALID_DL
- Define Documentation

Define ITEM_SEP
- Define Documentation

Define LT
- Define Documentation

Define NIL_ENTRY
- Define Documentation

Define PRINT_BOLD
- Define Documentation

Define RESET_CONSOLE_COLOR
- Define Documentation

Define SENTINEL_CL
- Define Documentation

Define SENTINEL_LIT
- Define Documentation

Define STR_DECIMAL_BASE
- Define Documentation

Define T_TRI
- Define Documentation

Define toDEBUGOUT
- Define Documentation

Define varsSENTINEL
- Define Documentation

Define X_TRI
- Define Documentation

Directories¶

Directory src
- Subdirectories
- Files

Directory types
- Files

Files¶

File alt_component_analyzer.cpp
- Definition (src/alt_component_analyzer.cpp)
  - Program Listing for File alt_component_analyzer.cpp
- Includes

File alt_component_analyzer.h

File base_packed_component.cpp
- Definition (src/component_types/base_packed_component.cpp)
  - Program Listing for File base_packed_component.cpp
- Includes

File base_packed_component.h

File cacheable_component.h

File cached_assignment.h

File component.h

File component_archetype.cpp
- Definition (src/component_types/component_archetype.cpp)
  - Program Listing for File component_archetype.cpp
- Includes

File component_archetype.h

File component_cache.cpp
- Definition (src/component_cache.cpp)
  - Program Listing for File component_cache.cpp
- Includes

File component_cache.h

File component_cache.inc
- Definition (src/component_cache.inc)
  - Program Listing for File component_cache.inc
- Included By

File component_management.cpp

File component_management.h

File containers.h

File difference_packed_component.h

File instance.cpp
- Definition (src/instance.cpp)
  - Program Listing for File instance.cpp
- Includes

File instance.h

File main.cpp

File model_sampler.cpp
- Definition (src/model_sampler.cpp)
  - Program Listing for File model_sampler.cpp
- Includes

File model_sampler.h

File primitive_types.h

File rand_distributions.cpp
- Definition (src/rand_distributions.cpp)
  - Program Listing for File rand_distributions.cpp
- Includes

File rand_distributions.h

File sampler_tools.h

File solver.cpp
- Definition (src/solver.cpp)
  - Program Listing for File solver.cpp
- Includes

File solver.h

File solver_config.h

File stack.cpp
- Definition (src/stack.cpp)
  - Program Listing for File stack.cpp
- Includes

File stack.h

File statistics.cpp
- Definition (src/statistics.cpp)
  - Program Listing for File statistics.cpp
- Includes

File statistics.h

File structures.h

Read the Docs v: latest

Versions: latest; stable

Downloads: pdf; htmlzip; epub

On Read the Docs: Project Home; Builds

Free document hosting provided by Read the Docs.