LWUtil 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 7 of file lwutil.h.

---

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

• src/infer/lwutil.h

---