File primitive_types.h

↰ Parent directory (src)

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