WSUtil Class Reference

List of all members.

Static Public Member Functions
static int	makeNegatedLiteral (const int &lit)
static int	isLiteralNegated (const int &lit)
static int	getLiteral (const int &lit)

---

Detailed Description

Definition at line 24 of file wsutil.h.

---

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

• src/infer/wsutil.h

---