VariableStorage::Diff

Detailed Description

Definition at line 45 of file variable_storage.h.

Public Member Functions
	Diff (const VariableStorage &storage)

Public Attributes
VariableId	checkpoint = VariableId(0)
absl::flat_hash_set< VariableId >	deleted
absl::flat_hash_set< VariableId >	lower_bounds
absl::flat_hash_set< VariableId >	upper_bounds
absl::flat_hash_set< VariableId >	integer

Constructor & Destructor Documentation

Diff()

Diff ( const VariableStorage &  storage )

inlineexplicit

Definition at line 46 of file variable_storage.h.

Member Data Documentation

checkpoint

VariableId checkpoint = VariableId(0)

Definition at line 49 of file variable_storage.h.

deleted

absl::flat_hash_set<VariableId> deleted

Definition at line 50 of file variable_storage.h.

integer

absl::flat_hash_set<VariableId> integer

Definition at line 53 of file variable_storage.h.

lower_bounds

absl::flat_hash_set<VariableId> lower_bounds

Definition at line 51 of file variable_storage.h.

upper_bounds

absl::flat_hash_set<VariableId> upper_bounds

Definition at line 52 of file variable_storage.h.

---

The documentation for this struct was generated from the following file:

• variable_storage.h