OR-Tools  9.6
Public Member Functions | Static Public Member Functions | List of all members
SatClause

Detailed Description

Definition at line 54 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 Literal > PropagationReason () const
 
absl::Span< const Literal > AsSpan () const
 
bool RemoveFixedLiteralsAndTestIfTrue (const VariablesAssignment &assignment)
 
bool IsSatisfied (const VariablesAssignment &assignment) const
 
bool IsAttached () const
 
std::string DebugString () const
 

Static Public Member Functions

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

Member Function Documentation

◆ AsSpan()

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

Definition at line 93 of file clause.h.

◆ begin()

const Literal* const begin ( ) const
inline

Definition at line 72 of file clause.h.

◆ Create()

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

Definition at line 2097 of file clause.cc.

◆ DebugString()

std::string DebugString ( ) const

Definition at line 2141 of file clause.cc.

◆ empty()

int empty ( ) const
inline

Definition at line 69 of file clause.h.

◆ end()

const Literal* const end ( ) const
inline

Definition at line 73 of file clause.h.

◆ FirstLiteral()

Literal FirstLiteral ( ) const
inline

Definition at line 77 of file clause.h.

◆ IsAttached()

bool IsAttached ( ) const
inline

Definition at line 111 of file clause.h.

◆ IsSatisfied()

bool IsSatisfied ( const VariablesAssignment &  assignment) const

Definition at line 2134 of file clause.cc.

◆ operator delete()

void operator delete ( void *  p)
inline

Definition at line 63 of file clause.h.

◆ PropagatedLiteral()

Literal PropagatedLiteral ( ) const
inline

Definition at line 83 of file clause.h.

◆ PropagationReason()

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

Definition at line 88 of file clause.h.

◆ RemoveFixedLiteralsAndTestIfTrue()

bool RemoveFixedLiteralsAndTestIfTrue ( const VariablesAssignment &  assignment)

Definition at line 2110 of file clause.cc.

◆ SecondLiteral()

Literal SecondLiteral ( ) const
inline

Definition at line 78 of file clause.h.

◆ size()

int size ( ) const
inline

Definition at line 68 of file clause.h.

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