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.


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


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