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.