Public Member Functions | Public Attributes

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::Var::Var ( ) [inline]

Definition at line 54 of file sat_api.h.

Member Function Documentation

bool SatSolver::Var::IsNull ( ) [inline]

Definition at line 55 of file sat_api.h.

void SatSolver::Var::Reset ( ) [inline]

Definition at line 56 of file sat_api.h.

Member Data Documentation

Definition at line 53 of file sat_api.h.

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