AMulet 2.0
AIG Multiplier Verification Tool
Var Class Reference

#include <variable.h>

Collaboration diagram for Var:

Public Member Functions

 Var (std::string name_, int level_, int num_=0)
 
const char * get_name () const
 
int get_hash () const
 
int get_level () const
 
int get_num () const
 

Private Attributes

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...
 

Detailed Description

represents a variable is assigned to a gate (see <gate.h>) and is used to represent variables in terms, see <term.h>

Constructor & Destructor Documentation

Var::Var ( std::string  name_,
int  level_,
int  num_ = 0 
)
inline

Constructor

Parameters
name_name
level_level
num_num, default is 0

Member Function Documentation

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

Member Data Documentation

int Var::hash
private

Hash value of variables, used for storing terms.

const int Var::level
private

Increasing value that indicates the order of the variable.

const std::string Var::name
private

name of variable

const int Var::num
private

corresponding value used to relate AIG gates to Gate class


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