diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-12-05 18:47:29 -0500 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-12-05 19:08:17 -0500 |
| commit | ce6d10c6cefffa8d3acfd82170b668477c63d32a (patch) | |
| tree | e40e1a78a947f1f97f66aa9b1c31b171a93f482e /src/expr/node_value.h | |
| parent | 3c016cf1c5432e9709902772fb4f3847ef274fd2 (diff) | |
Fix NodeValue bitfields for 32-bit; fix comment.
Diffstat (limited to 'src/expr/node_value.h')
| -rw-r--r-- | src/expr/node_value.h | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/expr/node_value.h b/src/expr/node_value.h index 24132491a..5c73b39b5 100644 --- a/src/expr/node_value.h +++ b/src/expr/node_value.h @@ -89,19 +89,19 @@ class NodeValue { /** A mask for d_kind */ static const unsigned kindMask = (1u << NBITS_KIND) - 1; - // this header fits into one 64-bit word + // This header fits into 96 bits /** The ID (0 is reserved for the null value) */ - unsigned long d_id : NBITS_ID; + uint64_t d_id : NBITS_ID; /** The expression's reference count. @see cvc4::Node. */ - unsigned d_rc : NBITS_REFCOUNT; + uint64_t d_rc : NBITS_REFCOUNT; /** Kind of the expression */ - unsigned d_kind : NBITS_KIND; + uint64_t d_kind : NBITS_KIND; /** Number of children */ - unsigned d_nchildren : NBITS_NCHILDREN; + uint64_t d_nchildren : NBITS_NCHILDREN; /** Variable number of child nodes */ NodeValue* d_children[0]; |