intArithLogical.h File Reference

#include "common.h"
#include "cfgUtils.h"
#include "lattice.h"
#include "logical.h"
#include "nodeState.h"
#include "variables.h"
#include "spearWrap.h"
#include "printAnalysisStates.h"
#include <list>
#include <string>
#include <fstream>

Include dependency graph for intArithLogical.h:

Go to the source code of this file.

Classes
class	IntArithLogical
class	IntArithLogical::exprLeafOrNode
class	IntArithLogical::exprLeaf
class	IntArithLogical::logicNode
class	IntArithLogicalFact
class	IntArithLogicalPlacer

Functions
void	printIntArithLogicals (IntArithLogicalPlacer *aip, std::string indent="")
void	runIntArithLogicalPlacer (bool printStates)
const IntArithLogical &	getIntArithLogical (const DataflowNode &n)

Function Documentation

void printIntArithLogicals	(	IntArithLogicalPlacer *	aip,
		std::string	indent = ""
	)

void runIntArithLogicalPlacer

(

bool

printStates)

const IntArithLogical& getIntArithLogical

(

const DataflowNode &

n)