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

Detailed Description

Definition at line 58 of file integer_search.h.

#include <integer_search.h>

Public Member Functions

 BooleanOrIntegerLiteral ()=default
 BooleanOrIntegerLiteral (LiteralIndex index)
 BooleanOrIntegerLiteral (IntegerLiteral i_lit)
bool HasValue () const

Public Attributes

LiteralIndex boolean_literal_index = kNoLiteralIndex
IntegerLiteral integer_literal = IntegerLiteral()

Constructor & Destructor Documentation

◆ BooleanOrIntegerLiteral() [1/3]

operations_research::sat::BooleanOrIntegerLiteral::BooleanOrIntegerLiteral ( )
default

◆ BooleanOrIntegerLiteral() [2/3]

operations_research::sat::BooleanOrIntegerLiteral::BooleanOrIntegerLiteral ( LiteralIndex index)
inlineexplicit

Definition at line 60 of file integer_search.h.

◆ BooleanOrIntegerLiteral() [3/3]

operations_research::sat::BooleanOrIntegerLiteral::BooleanOrIntegerLiteral ( IntegerLiteral i_lit)
inlineexplicit

Definition at line 62 of file integer_search.h.

Member Function Documentation

◆ HasValue()

bool operations_research::sat::BooleanOrIntegerLiteral::HasValue ( ) const
inline

Definition at line 65 of file integer_search.h.

Member Data Documentation

◆ boolean_literal_index

LiteralIndex operations_research::sat::BooleanOrIntegerLiteral::boolean_literal_index = kNoLiteralIndex

Definition at line 70 of file integer_search.h.

◆ integer_literal

IntegerLiteral operations_research::sat::BooleanOrIntegerLiteral::integer_literal = IntegerLiteral()

Definition at line 71 of file integer_search.h.

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