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
Exp *	nextConjunct (Exp *&remainder)
Exp *	nextDisjunct (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.

---