[−][src]Module varisat::clause::header
Metadata stored in the header of each long clause.
Structs
| ClauseHeader | Metadata for a clause. |
Constants
| ACTIVE_OFFSET | |
| ACTIVE_WORD | |
| ACTIVITY_WORD | |
| DELETED_OFFSET | |
| DELETED_WORD | |
| GLUE_MASK | |
| GLUE_OFFSET | |
| GLUE_WORD | |
| HEADER_LEN | Length of a |
| MARK_OFFSET | |
| MARK_WORD | |
| TIER_MASK | |
| TIER_OFFSET | |
| TIER_WORD |