Google OR-Tools v9.12
a fast and portable software suite for combinatorial optimization
Loading...
Searching...
No Matches
Public Member Functions | Public Attributes | List of all members
operations_research::sat::BinaryClause Struct Reference

A binary clause. This is used by BinaryClauseManager. More...

#include <clause.h>

Public Member Functions

 BinaryClause (Literal _a, Literal _b)
 
bool operator== (BinaryClause o) const
 
bool operator!= (BinaryClause o) const
 

Public Attributes

Literal a
 
Literal b
 

Detailed Description

A binary clause. This is used by BinaryClauseManager.

Definition at line 405 of file clause.h.

Constructor & Destructor Documentation

◆ BinaryClause()

operations_research::sat::BinaryClause::BinaryClause ( Literal _a,
Literal _b )
inline

Definition at line 406 of file clause.h.

Member Function Documentation

◆ operator!=()

bool operations_research::sat::BinaryClause::operator!= ( BinaryClause o) const
inline

Definition at line 408 of file clause.h.

◆ operator==()

bool operations_research::sat::BinaryClause::operator== ( BinaryClause o) const
inline

Definition at line 407 of file clause.h.

Member Data Documentation

◆ a

Literal operations_research::sat::BinaryClause::a

Definition at line 409 of file clause.h.

◆ b

Literal operations_research::sat::BinaryClause::b

Definition at line 410 of file clause.h.

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