[−][src]Module varisat::variables::var_map

Mappings between variable names

Structs

VarBiMap	A bidirectional mapping between variables.
VarBiMapMut	Mutable view of a `VarBiMap`.
VarMap	A mapping from variables to variables.