OR-Tools  8.2
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
 
EncodingNodechild_a () const
 
EncodingNodechild_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: