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

Detailed Description

Definition at line 59 of file work_assignment.h.

#include <work_assignment.h>

Public Member Functions

 ProtoLiteral ()=default
 ProtoLiteral (int var, IntegerValue lb)
ProtoLiteral Negated () const
int proto_var () const
IntegerValue lb () const
bool operator== (const ProtoLiteral &other) const
bool operator!= (const ProtoLiteral &other) const
Literal Decode (CpModelMapping *, IntegerEncoder *) const

Static Public Member Functions

static std::optional< ProtoLiteral > Encode (Literal, CpModelMapping *, IntegerEncoder *)
static std::optional< ProtoLiteral > EncodeLiteral (Literal, CpModelMapping *)

Friends

template<typename H>
H AbslHashValue (H h, const ProtoLiteral &literal)

Constructor & Destructor Documentation

◆ ProtoLiteral() [1/2]

operations_research::sat::ProtoLiteral::ProtoLiteral ( )
default

◆ ProtoLiteral() [2/2]

operations_research::sat::ProtoLiteral::ProtoLiteral ( int var,
IntegerValue lb )
inline

Definition at line 62 of file work_assignment.h.

Member Function Documentation

◆ Decode()

Literal operations_research::sat::ProtoLiteral::Decode ( CpModelMapping * mapping,
IntegerEncoder * encoder ) const

Definition at line 95 of file work_assignment.cc.

◆ Encode()

std::optional< ProtoLiteral > operations_research::sat::ProtoLiteral::Encode ( Literal literal,
CpModelMapping * mapping,
IntegerEncoder * encoder )
static

Definition at line 130 of file work_assignment.cc.

◆ EncodeLiteral()

std::optional< ProtoLiteral > operations_research::sat::ProtoLiteral::EncodeLiteral ( Literal literal,
CpModelMapping * mapping )
static

Definition at line 147 of file work_assignment.cc.

◆ lb()

IntegerValue operations_research::sat::ProtoLiteral::lb ( ) const
inline

Definition at line 67 of file work_assignment.h.

◆ Negated()

ProtoLiteral operations_research::sat::ProtoLiteral::Negated ( ) const
inline

Definition at line 63 of file work_assignment.h.

◆ operator!=()

bool operations_research::sat::ProtoLiteral::operator!= ( const ProtoLiteral & other) const
inline

Definition at line 71 of file work_assignment.h.

◆ operator==()

bool operations_research::sat::ProtoLiteral::operator== ( const ProtoLiteral & other) const
inline

Definition at line 68 of file work_assignment.h.

◆ proto_var()

int operations_research::sat::ProtoLiteral::proto_var ( ) const
inline

Definition at line 66 of file work_assignment.h.

◆ AbslHashValue

template<typename H>
H AbslHashValue ( H h,
const ProtoLiteral & literal )
friend

Definition at line 73 of file work_assignment.h.

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