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

Detailed Description

Definition at line 530 of file clause.h.

#include <clause.h>

Public Member Functions

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

Public Attributes

ClauseId id
Literal a
Literal b

Constructor & Destructor Documentation

◆ BinaryClause()

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

Definition at line 531 of file clause.h.

Member Function Documentation

◆ operator!=()

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

Definition at line 533 of file clause.h.

◆ operator==()

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

Definition at line 532 of file clause.h.

Member Data Documentation

◆ a

Literal operations_research::sat::BinaryClause::a

Definition at line 535 of file clause.h.

◆ b

Literal operations_research::sat::BinaryClause::b

Definition at line 536 of file clause.h.

◆ id

ClauseId operations_research::sat::BinaryClause::id

Definition at line 534 of file clause.h.

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