SatSolver::SatSolver::Var Union Reference
#include <sat_api.h>
List of all members.
Public Member Functions
Public Attributes
Detailed Description
Definition at line 51 of file sat_api.h.
Constructor & Destructor Documentation
SatSolver::SatSolver::Var::Var |
( |
|
) |
[inline] |
Member Function Documentation
bool SatSolver::SatSolver::Var::IsNull |
( |
|
) |
[inline] |
void SatSolver::SatSolver::Var::Reset |
( |
|
) |
[inline] |
Member Data Documentation
long SatSolver::SatSolver::Var::id |
void* SatSolver::SatSolver::Var::vptr |
The documentation for this union was generated from the following file: