CVC3  2.4.1
Classes | Macros | Typedefs | Enumerations
xchaff_base.h File Reference
#include <vector>
#include <iostream>
#include <assert.h>

Go to the source code of this file.

Classes

class  CLitPoolElement
class  CClause
class  CVariable

Macros

#define NULL_CLAUSE   -1
#define FLIPPED   -2

Typedefs

typedef enum Unknown Unknown
typedef int ClauseIdx

Enumerations

enum  Unknown { UNKNOWN = -1 }

Macro Definition Documentation

#define NULL_CLAUSE   -1
#define FLIPPED   -2

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.