xchaff_base.h File Reference

Go to the source code of this file.

Classes

• class CLitPoolElement
• class CClause
• class CVariable

Typedefs

• typedef enum Unknown Unknown
• typedef int ClauseIdx

Enumerations

• enum Unknown { UNKNOWN = -1 }

---

Typedef Documentation

typedef enum Unknown Unknown

typedef int ClauseIdx

Definition at line 54 of file xchaff_base.h.

---

Enumeration Type Documentation

enum Unknown

Enumerator: UNKNOWN  Definition at line 47 of file xchaff_base.h.

---