SPUR
latest
Contents:
Library API
SPUR
Docs
»
Library API
»
File primitive_types.h
Edit on GitHub
File primitive_types.h
¶
↰
Parent directory
(
src
)
Contents
Definition (
src/primitive_types.h
)
Includes
Included By
Enums
Functions
Defines
Typedefs
Definition (
src/primitive_types.h
)
¶
Program Listing for File primitive_types.h
Includes
¶
vector
Included By
¶
File structures.h
File component.h
File cacheable_component.h
File statistics.h
File solver_config.h
File component_archetype.h
File rand_distributions.h
File solver.cpp
Enums
¶
Enum AssignmentEncoding
Enum SolverExitState
Enum SolverNextAction
Enum TopTreeNodeType
Functions
¶
Function NOT_A_CLAUSE
Defines
¶
Define BITS_PER_BYTE
Define clsSENTINEL
Define EXIT_TIMEOUT
Define FIRST_VAR
Define SENTINEL_CL
Define toDEBUGOUT
Define varsSENTINEL
Typedefs
¶
Typedef CacheEntryID
Typedef ClauseIndex
Typedef ClauseOfs
Typedef ComponentVarAndCls
Typedef DecisionLevel
Typedef PartialAssignment
Typedef SampleSize
Typedef TopTreeLiteral
Typedef TreeNodeIndex
Typedef VariableIndex
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
.