Generated on Sat Feb 7 2015 02:01:47 for Gecode by doxygen 1.8.9.1
Gecode::Int::LDSB::Literal Class Reference

A Literal is a pair of variable index and value. More...

#include <ldsb.hh>

Public Member Functions

 Literal (void)
 Constructor for an empty literal. More...
 
 Literal (int _var, int _val)
 Constructor. More...
 
bool operator< (const Literal &rhs) const
 Less than. The ordering is the lexicographical order on the (variable,value) pair. More...
 

Public Attributes

int _variable
 Variable index. The ViewArray that the index is meant for is assumed to be known by context. More...
 
int _value
 The value of the literal. For int and bool variables, this is the value itself; for set variables, this is one of the possible elements of the set. More...
 

Detailed Description

A Literal is a pair of variable index and value.

Definition at line 50 of file ldsb.hh.

Constructor & Destructor Documentation

Gecode::Int::LDSB::Literal::Literal ( void  )
inline

Constructor for an empty literal.

Definition at line 44 of file brancher.hpp.

Gecode::Int::LDSB::Literal::Literal ( int  _var,
int  _val 
)
inline

Constructor.

Definition at line 48 of file brancher.hpp.

Member Function Documentation

bool Gecode::Int::LDSB::Literal::operator< ( const Literal rhs) const
inline

Less than. The ordering is the lexicographical order on the (variable,value) pair.

Definition at line 53 of file brancher.hpp.

Member Data Documentation

int Gecode::Int::LDSB::Literal::_variable

Variable index. The ViewArray that the index is meant for is assumed to be known by context.

Definition at line 59 of file ldsb.hh.

int Gecode::Int::LDSB::Literal::_value

The value of the literal. For int and bool variables, this is the value itself; for set variables, this is one of the possible elements of the set.

Definition at line 63 of file ldsb.hh.


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