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

Defines

• #define NULL_CLAUSE   -1
• #define FLIPPED   -2

Typedefs

• typedef enum Unknown Unknown
• typedef int ClauseIdx

Enumerations

• enum Unknown { UNKNOWN = -1 }

---

Define Documentation

#define NULL_CLAUSE   -1

Definition at line 51 of file xchaff_base.h.

Referenced by CVariable::CVariable(), CSolver::unset_var_value(), CSolver::find_max_clause_dlevel(), CSolver::decide_next_branch(), CSolver::preprocess(), and CSolver::conflict_analysis_zchaff().

#define FLIPPED   -2

Definition at line 52 of file xchaff_base.h.

Referenced by CSolver::find_max_clause_dlevel(), and CSolver::dump_assignment_stack().

---

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.