constraint.cpp File Reference

#include "constraint.h"
#include "managed.h"
#include "exp.h"
#include "boomerang.h"
#include "log.h"
#include <sstream>

Go to the source code of this file.

Functions

ExpnextConjunct (Exp *&remainder)
ExpnextDisjunct (Exp *&remainder)

Variables

char debug_buffer []
 For prints functions.
static int level = 0


Function Documentation

Exp* nextConjunct Exp *&  remainder  ) 
 

Definition at line 251 of file constraint.cpp.

References Exp::isConjunction(), and NULL.

Referenced by Constraints::alphaSubst().

Exp* nextDisjunct Exp *&  remainder  ) 
 

Definition at line 233 of file constraint.cpp.

References Exp::isDisjunction(), and NULL.


Variable Documentation

char debug_buffer[]
 

For prints functions.

Definition at line 285 of file basicblock.cpp.

int level = 0 [static]
 

Definition at line 382 of file constraint.cpp.


Generated on Tue Sep 19 21:18:36 2006 for Boomerang by  doxygen 1.4.6