Skip to main content

Module unique

logic_eval_util

Module unique 

Source

Structsยง

PairIter
The iterator skips indirect values.
UniqueContainer
Each value is unique in this container. if multiple indices have to refer to the same value, then only one index points to the real value and the others point to indirect values, which are just jump indices to the real value.You can get a value via its index.
ValueIter
The iterator skips indirect values.