#include <variable.h>
|
const std::string | name |
| name of variable More...
|
|
int | hash |
| Hash value of variables, used for storing terms. More...
|
|
const int | level |
| Increasing value that indicates the order of the variable. More...
|
|
const int | num |
| corresponding value used to relate AIG gates to Gate class More...
|
|
represents a variable is assigned to a gate (see <gate.h>) and is used to represent variables in terms, see <term.h>
Var::Var |
( |
std::string |
name_, |
|
|
int |
level_, |
|
|
int |
num_ = 0 |
|
) |
| |
|
inline |
Constructor
- Parameters
-
name_ | name |
level_ | level |
num_ | num, default is 0 |
int Var::get_hash |
( |
| ) |
const |
|
inline |
Getter for member hash
- Returns
- integer
int Var::get_level |
( |
| ) |
const |
|
inline |
Getter for member level
- Returns
- integer
const char* Var::get_name |
( |
| ) |
const |
|
inline |
Getter for member name, and converts string to char*
- Returns
- const char *
int Var::get_num |
( |
| ) |
const |
|
inline |
Getter for member num
- Returns
- integer
Hash value of variables, used for storing terms.
Increasing value that indicates the order of the variable.
const std::string Var::name |
|
private |
corresponding value used to relate AIG gates to Gate class
The documentation for this class was generated from the following file: