SSoelvsten / adiar

An I/O-efficient implementation of (Binary) Decision Diagrams
https://ssoelvsten.github.io/adiar/
MIT License
24 stars 13 forks source link

Turn `size_t` into an alias for `tpie::stream_size_type` #413

Open SSoelvsten opened 1 year ago

SSoelvsten commented 1 year ago

The tpie::stream_size_type is designed specifically to ensure large enough numbers are supported on a system, e.g. on some systems std::size_t is a 32-bit integer whereas tpie::stream_size_type always is (at least?) 64-bits.

SSoelvsten commented 1 year ago

Also, we should use std::size_t from if anything rather than size_t from . Based on the machine type in question (does it have 64-bit support or not?) we can define the adiar::size_t.