xchaff_base.h File Reference

#include <vector>
#include <iostream>
#include <assert.h>

Include dependency graph for xchaff_base.h:

This graph shows which files directly or indirectly include this file:

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 int ClauseIdx

Enumerations

• enum Unknown { UNKNOWN = -1 }

---

Define Documentation

#define NULL_CLAUSE   -1

Definition at line 51 of file xchaff_base.h.

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

#define FLIPPED   -2

Definition at line 52 of file xchaff_base.h.

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

---

Typedef Documentation

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.

---