YEqVars.h File Reference

Declare class for storing auxiliary variables equivalent to a sum of a variable and a constant. More...

#include "Types.h"
#include "OpCode.h"

Include dependency graph for YEqVars.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	Minotaur::YEqVars

Namespaces
namespace	Minotaur

Detailed Description

Declare class for storing auxiliary variables equivalent to a sum of a variable and a constant.

Author

Ashutosh Mahajan, Argonne National Laboratory