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:
Generated on Wed Feb 14 15:15:22 2007 for Alchemy by  doxygen 1.5.1