OR-Tools  8.2
SatClause

Detailed Description

Definition at line 51 of file clause.h.

Public Member Functions

void operator delete (void *p)
 
int size () const
 
int empty () const
 
const Literal *const begin () const
 
const Literal *const end () const
 
Literal FirstLiteral () const
 
Literal SecondLiteral () const
 
Literal PropagatedLiteral () const
 
absl::Span< const LiteralPropagationReason () const
 
absl::Span< const LiteralAsSpan () const
 
bool RemoveFixedLiteralsAndTestIfTrue (const VariablesAssignment &assignment)
 
bool IsSatisfied (const VariablesAssignment &assignment) const
 
bool IsAttached () const
 
std::string DebugString () const
 

Static Public Member Functions

static SatClauseCreate (absl::Span< const Literal > literals)
 

Member Function Documentation

◆ AsSpan()

absl::Span<const Literal> AsSpan ( ) const
inline

Definition at line 90 of file clause.h.

◆ begin()

const Literal* const begin ( ) const
inline

Definition at line 69 of file clause.h.

◆ Create()

SatClause * Create ( absl::Span< const Literal literals)
static

Definition at line 1947 of file clause.cc.

◆ DebugString()

std::string DebugString ( ) const

Definition at line 1991 of file clause.cc.

◆ empty()

int empty ( ) const
inline

Definition at line 66 of file clause.h.

◆ end()

const Literal* const end ( ) const
inline

Definition at line 70 of file clause.h.

◆ FirstLiteral()

Literal FirstLiteral ( ) const
inline

Definition at line 74 of file clause.h.

◆ IsAttached()

bool IsAttached ( ) const
inline

Definition at line 108 of file clause.h.

◆ IsSatisfied()

bool IsSatisfied ( const VariablesAssignment assignment) const

Definition at line 1984 of file clause.cc.

◆ operator delete()

void operator delete ( void *  p)
inline

Definition at line 60 of file clause.h.

◆ PropagatedLiteral()

Literal PropagatedLiteral ( ) const
inline

Definition at line 80 of file clause.h.

◆ PropagationReason()

absl::Span<const Literal> PropagationReason ( ) const
inline

Definition at line 85 of file clause.h.

◆ RemoveFixedLiteralsAndTestIfTrue()

bool RemoveFixedLiteralsAndTestIfTrue ( const VariablesAssignment assignment)

Definition at line 1960 of file clause.cc.

◆ SecondLiteral()

Literal SecondLiteral ( ) const
inline

Definition at line 75 of file clause.h.

◆ size()

int size ( ) const
inline

Definition at line 65 of file clause.h.


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