Implementation Details
State related classes
TODO explain how to handle specific cases (information stored for each state, information stored for only a few states, temporary states, samples, states without duplicate-checks, ...)
TODO explain how to handle specific cases (information stored for each state, information stored for only a few states, temporary states, samples, states without duplicate-checks, ...)