OR-Tools  8.2
Literal

Detailed Description

Definition at line 64 of file sat_base.h.

Public Member Functions

 Literal (int signed_value)
 
 Literal ()
 
 Literal (LiteralIndex index)
 
 Literal (BooleanVariable variable, bool is_positive)
 
BooleanVariable Variable () const
 
bool IsPositive () const
 
bool IsNegative () const
 
LiteralIndex Index () const
 
LiteralIndex NegatedIndex () const
 
int SignedValue () const
 
Literal Negated () const
 
std::string DebugString () const
 
bool operator== (Literal other) const
 
bool operator!= (Literal other) const
 
bool operator< (const Literal &literal) const
 

Constructor & Destructor Documentation

◆ Literal() [1/4]

Literal ( int  signed_value)
inline

Definition at line 68 of file sat_base.h.

◆ Literal() [2/4]

Literal ( )
inline

Definition at line 74 of file sat_base.h.

◆ Literal() [3/4]

Literal ( LiteralIndex  index)
inlineexplicit

Definition at line 75 of file sat_base.h.

◆ Literal() [4/4]

Literal ( BooleanVariable  variable,
bool  is_positive 
)
inline

Definition at line 76 of file sat_base.h.

Member Function Documentation

◆ DebugString()

std::string DebugString ( ) const
inline

Definition at line 93 of file sat_base.h.

◆ Index()

LiteralIndex Index ( ) const
inline

Definition at line 84 of file sat_base.h.

◆ IsNegative()

bool IsNegative ( ) const
inline

Definition at line 82 of file sat_base.h.

◆ IsPositive()

bool IsPositive ( ) const
inline

Definition at line 81 of file sat_base.h.

◆ Negated()

Literal Negated ( ) const
inline

Definition at line 91 of file sat_base.h.

◆ NegatedIndex()

LiteralIndex NegatedIndex ( ) const
inline

Definition at line 85 of file sat_base.h.

◆ operator!=()

bool operator!= ( Literal  other) const
inline

Definition at line 97 of file sat_base.h.

◆ operator<()

bool operator< ( const Literal literal) const
inline

Definition at line 99 of file sat_base.h.

◆ operator==()

bool operator== ( Literal  other) const
inline

Definition at line 96 of file sat_base.h.

◆ SignedValue()

int SignedValue ( ) const
inline

Definition at line 87 of file sat_base.h.

◆ Variable()

BooleanVariable Variable ( ) const
inline

Definition at line 80 of file sat_base.h.


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