HomeIsabelle/Phabricator

Use std::vector for depthVectorArray. This simplifies the code and avoids…

Description

Use std::vector for depthVectorArray. This simplifies the code and avoids repeated reallocations.

Details

Provenance
dcjmAuthored on Nov 23 2019, 1:57 PM
Parents
rPOLYML811539f6e096: Grow the depth vector by more than the minimum each time. Processing a deep…
Branches
Unknown
Tags
Unknown

Event Timeline

David Matthews <dm@prolingua.co.uk> committed rPOLYML821fab5ed61e: Use std::vector for depthVectorArray. This simplifies the code and avoids… (authored by David Matthews <dm@prolingua.co.uk>).Nov 23 2019, 1:57 PM