Google OR-Tools v9.15
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
operations_research::sat::ProtoTrail Class Reference

Detailed Description

Definition at line 107 of file work_assignment.h.

#include <work_assignment.h>

Public Member Functions

 ProtoTrail ()
void PushLevel (const ProtoLiteral &decision, IntegerValue objective_lb, int node_id)
void SetLevelImplied (int level)
void Clear ()
void SetObjectiveLb (int level, IntegerValue objective_lb)
int MaxLevel () const
ProtoLiteral Decision (int level) const
int DecisionNodeId (int level) const
absl::Span< const int > NodeIds (int level) const
absl::Span< const ProtoLiteral > Implications (int level) const
bool AddImplication (int level, ProtoLiteral implication)
void NormalizeImplications ()
IntegerValue ObjectiveLb (int level) const
absl::Span< const ProtoLiteral > Literals () const
const std::vector< ProtoLiteral > & TargetPhase () const
std::vector< ProtoLiteral > TakeTargetPhase ()
void ClearTargetPhase ()
bool AddPhase (const ProtoLiteral &lit)
void SetTargetPhase (std::vector< ProtoLiteral > phase)
bool IsAssigned (const ProtoLiteral &lit) const

Constructor & Destructor Documentation

◆ ProtoTrail()

operations_research::sat::ProtoTrail::ProtoTrail ( )

Definition at line 170 of file work_assignment.cc.

Member Function Documentation

◆ AddImplication()

bool operations_research::sat::ProtoTrail::AddImplication ( int level,
ProtoLiteral implication )
inline

Definition at line 148 of file work_assignment.h.

◆ AddPhase()

bool operations_research::sat::ProtoTrail::AddPhase ( const ProtoLiteral & lit)
inline

Definition at line 175 of file work_assignment.h.

◆ Clear()

void operations_research::sat::ProtoTrail::Clear ( )

Definition at line 228 of file work_assignment.cc.

◆ ClearTargetPhase()

void operations_research::sat::ProtoTrail::ClearTargetPhase ( )
inline

Definition at line 173 of file work_assignment.h.

◆ Decision()

ProtoLiteral operations_research::sat::ProtoTrail::Decision ( int level) const
inline

Definition at line 128 of file work_assignment.h.

◆ DecisionNodeId()

int operations_research::sat::ProtoTrail::DecisionNodeId ( int level) const

Definition at line 244 of file work_assignment.cc.

◆ Implications()

absl::Span< const ProtoLiteral > operations_research::sat::ProtoTrail::Implications ( int level) const

Definition at line 257 of file work_assignment.cc.

◆ IsAssigned()

bool operations_research::sat::ProtoTrail::IsAssigned ( const ProtoLiteral & lit) const
inline

Definition at line 185 of file work_assignment.h.

◆ Literals()

absl::Span< const ProtoLiteral > operations_research::sat::ProtoTrail::Literals ( ) const
inline

Definition at line 165 of file work_assignment.h.

◆ MaxLevel()

int operations_research::sat::ProtoTrail::MaxLevel ( ) const
inline

Definition at line 125 of file work_assignment.h.

◆ NodeIds()

absl::Span< const int > operations_research::sat::ProtoTrail::NodeIds ( int level) const

Definition at line 249 of file work_assignment.cc.

◆ NormalizeImplications()

void operations_research::sat::ProtoTrail::NormalizeImplications ( )

Definition at line 211 of file work_assignment.cc.

◆ ObjectiveLb()

IntegerValue operations_research::sat::ProtoTrail::ObjectiveLb ( int level) const
inline

Definition at line 160 of file work_assignment.h.

◆ PushLevel()

void operations_research::sat::ProtoTrail::PushLevel ( const ProtoLiteral & decision,
IntegerValue objective_lb,
int node_id )

Definition at line 172 of file work_assignment.cc.

◆ SetLevelImplied()

void operations_research::sat::ProtoTrail::SetLevelImplied ( int level)

Definition at line 186 of file work_assignment.cc.

◆ SetObjectiveLb()

void operations_research::sat::ProtoTrail::SetObjectiveLb ( int level,
IntegerValue objective_lb )

Definition at line 238 of file work_assignment.cc.

◆ SetTargetPhase()

void operations_research::sat::ProtoTrail::SetTargetPhase ( std::vector< ProtoLiteral > phase)
inline

Definition at line 182 of file work_assignment.h.

◆ TakeTargetPhase()

std::vector< ProtoLiteral > operations_research::sat::ProtoTrail::TakeTargetPhase ( )
inline

Definition at line 170 of file work_assignment.h.

◆ TargetPhase()

const std::vector< ProtoLiteral > & operations_research::sat::ProtoTrail::TargetPhase ( ) const
inline

Definition at line 167 of file work_assignment.h.

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