LazyUtil Class Reference

List of all members.

Static Public Member Functions
static int	mySign (int x)
static void	setAllActive (Domain *const &domain)

---

Detailed Description

Definition at line 72 of file lazyutil.h.

---

The documentation for this class was generated from the following file:

• src/infer/lazyutil.h

---