EncodingNode

Detailed Description

Definition at line 53 of file encoding.h.

Public Member Functions
	EncodingNode ()
	EncodingNode (Literal l)
void	InitializeFullNode (int n, EncodingNode *a, EncodingNode *b, SatSolver *solver)
void	InitializeLazyNode (EncodingNode *a, EncodingNode *b, SatSolver *solver)
Literal	GreaterThan (int i) const
int	size () const
Literal	literal (int i) const
bool	operator< (const EncodingNode &other) const
bool	IncreaseCurrentUB (SatSolver *solver)
int	Reduce (const SatSolver &solver)
void	ApplyUpperBound (int64 upper_bound, SatSolver *solver)
void	set_weight (Coefficient w)
Coefficient	weight () const
int	depth () const
int	lb () const
int	current_ub () const
int	ub () const
EncodingNode *	child_a () const
EncodingNode *	child_b () const

Constructor & Destructor Documentation

EncodingNode() [1/2]

EncodingNode ( )

inline

Definition at line 55 of file encoding.h.

EncodingNode() [2/2]

EncodingNode ( Literal  l )

explicit

Definition at line 26 of file encoding.cc.

Member Function Documentation

ApplyUpperBound()

void ApplyUpperBound	(	int64	upper_bound,
		SatSolver *	solver
	)

Definition at line 97 of file encoding.cc.

child_a()

EncodingNode * child_a ( ) const

inline

Definition at line 112 of file encoding.h.

child_b()

EncodingNode * child_b ( ) const

inline

Definition at line 113 of file encoding.h.

current_ub()

int current_ub ( ) const

inline

Definition at line 110 of file encoding.h.

depth()

int depth ( ) const

inline

Definition at line 108 of file encoding.h.

GreaterThan()

Literal GreaterThan ( int  i ) const

inline

Definition at line 74 of file encoding.h.

IncreaseCurrentUB()

bool IncreaseCurrentUB

(

SatSolver *

solver

)

Definition at line 71 of file encoding.cc.

InitializeFullNode()

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

Definition at line 35 of file encoding.cc.

InitializeLazyNode()

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

Definition at line 55 of file encoding.cc.

lb()

int lb ( ) const

inline

Definition at line 109 of file encoding.h.

literal()

Literal literal ( int  i ) const

inline

Definition at line 78 of file encoding.h.

operator<()

bool operator< ( const EncodingNode &  other ) const

inline

Definition at line 86 of file encoding.h.

Reduce()

int Reduce

(

const SatSolver &

solver

)

Definition at line 81 of file encoding.cc.

set_weight()

void set_weight ( Coefficient  w )

inline

Definition at line 105 of file encoding.h.

size()

int size ( ) const

inline

Definition at line 77 of file encoding.h.

ub()

int ub ( ) const

inline

Definition at line 111 of file encoding.h.

weight()

Coefficient weight ( ) const

inline

Definition at line 106 of file encoding.h.

---

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

• encoding.h
• encoding.cc