HMaxWalkSat::FlipDisVarIdxCont Struct Reference

List of all members.

Public Attributes
Array< int >	disIdx_

---

Detailed Description

Definition at line 816 of file hmaxwalksat.h.

---

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

• src/infer/hmaxwalksat.h

---