42 Var(std::string name_,
int level_,
int num_ = 0):
43 name(name_), level(level_), num(num_){
51 const char *
get_name()
const {
return name.c_str();};
int hash
Hash value of variables, used for storing terms.
Definition: variable.h:25
Definition: variable.h:20
int get_level() const
Definition: variable.h:63
const char * get_name() const
Definition: variable.h:51
const std::string name
name of variable
Definition: variable.h:22
uint64_t hash_string(const std::string &str)
Definition: hash_val.cpp:54
int get_hash() const
Definition: variable.h:57
contains functions used to compute hash values for variables
const int num
corresponding value used to relate AIG gates to Gate class
Definition: variable.h:31
Var(std::string name_, int level_, int num_=0)
Definition: variable.h:42
int get_num() const
Definition: variable.h:69
const int level
Increasing value that indicates the order of the variable.
Definition: variable.h:28