#include <identifierCacheOptimizer.hpp>

Public Types | |
| using | Identifier = T_Identifier |
| using | UnsignedIdentifier = std::make_signed_t<Identifier> |
Public Member Functions | |
| inlinevoid | free (Identifier id) |
| Free an identifier. | |
| inlineIdentifier | generate () |
| Generate an identifier. | |
| inlineIdentifier | generateFresh () |
| Generate an unused identifier. | |
| inlineIdentifier | getGeneratedSize () |
| Get number of generated identifiers. | |
| inlinevoid | init (Identifier start, UnsignedIdentifier dir) |
| Initialize the range. | |
| inlinebool | isHandledByThis (Identifier id) |
| Check if the identifier is handled by this generator. | |
Helper for generating new identifiers.
Will generate start + direction * i identifiers with i running from 0 to infinity.
| T_Identifier | The identifier of the CoDiPack type. |