EncodingNode

Detailed Description

Definition at line 58 of file encoding.h.

Public Member Functions
	EncodingNode ()
	EncodingNode (Literal l)
	EncodingNode (int lb, int ub, std::function< Literal(int x)> create_lit)
void	InitializeFullNode (int n, EncodingNode *a, EncodingNode *b, SatSolver *solver)
void	InitializeLazyNode (EncodingNode *a, EncodingNode *b, SatSolver *solver)
void	InitializeLazyCoreNode (Coefficient weight, EncodingNode *a, EncodingNode *b)
Literal	GreaterThan (int i) const
int	size () const
Literal	literal (int i) const
bool	operator< (const EncodingNode &other) const
bool	IncreaseCurrentUB (SatSolver *solver)
Coefficient	Reduce (const SatSolver &solver)
bool	AssumptionIs (Literal other) const
Literal	GetAssumption (SatSolver *solver)
bool	HasNoWeight () const
void	IncreaseWeightLb ()
void	ApplyWeightUpperBound (Coefficient gap, SatSolver *solver)
void	set_weight (Coefficient w)
Coefficient	weight () const
void	set_depth (int depth)
int	depth () const
int	lb () const
int	current_ub () const
int	ub () const
EncodingNode *	child_a () const
EncodingNode *	child_b () const
std::string	DebugString (const VariablesAssignment &assignment) const

Constructor & Destructor Documentation

EncodingNode() [1/3]

EncodingNode ( )

inline

Definition at line 60 of file encoding.h.

EncodingNode() [2/3]

EncodingNode ( Literal  l )

explicit

Definition at line 35 of file encoding.cc.

EncodingNode() [3/3]

EncodingNode	(	int	lb,
		int	ub,
		std::function< Literal(int x)>	create_lit
	)

Definition at line 38 of file encoding.cc.

Member Function Documentation

ApplyWeightUpperBound()

void ApplyWeightUpperBound	(	Coefficient	gap,
		SatSolver *	solver
	)

Definition at line 136 of file encoding.cc.

AssumptionIs()

bool AssumptionIs

(

Literal

other

)

const

Definition at line 149 of file encoding.cc.

child_a()

EncodingNode* child_a ( ) const

inline

Definition at line 137 of file encoding.h.

child_b()

EncodingNode* child_b ( ) const

inline

Definition at line 138 of file encoding.h.

current_ub()

int current_ub ( ) const

inline

Definition at line 135 of file encoding.h.

DebugString()

std::string DebugString

(

const VariablesAssignment &

assignment

)

const

Definition at line 174 of file encoding.cc.

depth()

int depth ( ) const

inline

Definition at line 132 of file encoding.h.

GetAssumption()

Literal GetAssumption

(

SatSolver *

solver

)

Definition at line 155 of file encoding.cc.

GreaterThan()

Literal GreaterThan ( int  i ) const

inline

Definition at line 85 of file encoding.h.

HasNoWeight()

bool HasNoWeight

(

)

const

Definition at line 170 of file encoding.cc.

IncreaseCurrentUB()

bool IncreaseCurrentUB

(

SatSolver *

solver

)

Definition at line 100 of file encoding.cc.

IncreaseWeightLb()

void IncreaseWeightLb

(

)

Definition at line 165 of file encoding.cc.

InitializeFullNode()

void InitializeFullNode	(	int	n,
		EncodingNode *	a,
		EncodingNode *	b,
		SatSolver *	solver
	)

Definition at line 49 of file encoding.cc.

InitializeLazyCoreNode()

void InitializeLazyCoreNode	(	Coefficient	weight,
		EncodingNode *	a,
		EncodingNode *	b
	)

Definition at line 85 of file encoding.cc.

InitializeLazyNode()

void InitializeLazyNode	(	EncodingNode *	a,
		EncodingNode *	b,
		SatSolver *	solver
	)

Definition at line 69 of file encoding.cc.

lb()

int lb ( ) const

inline

Definition at line 134 of file encoding.h.

literal()

Literal literal ( int  i ) const

inline

Definition at line 89 of file encoding.h.

operator<()

bool operator< ( const EncodingNode &  other ) const

inline

Definition at line 97 of file encoding.h.

Reduce()

Coefficient Reduce

(

const SatSolver &

solver

)

Definition at line 116 of file encoding.cc.

set_depth()

void set_depth ( int  depth )

inline

Definition at line 131 of file encoding.h.

set_weight()

void set_weight ( Coefficient  w )

inline

Definition at line 123 of file encoding.h.

size()

int size ( ) const

inline

Definition at line 88 of file encoding.h.

ub()

int ub ( ) const

inline

Definition at line 136 of file encoding.h.

weight()

Coefficient weight ( ) const

inline

Definition at line 127 of file encoding.h.

---

The documentation for this class was generated from the following files:

• encoding.h
• encoding.cc