OKlibrary  0.2.1.6
BoolVarLit::BoolVarUI Class Reference

#include <Literal.hpp>

List of all members.

Public Member Functions

 BoolVarUI (const unsigned n_)

Friends

bool operator< (const BoolVarUI &a, const BoolVarUI &b)
bool operator== (const BoolVarUI &a, const BoolVarUI &b)
std::ostream & operator<< (std::ostream &o, const BoolVarUI &v)

Detailed Description

Definition at line 55 of file Literal.hpp.


Constructor & Destructor Documentation

BoolVarLit::BoolVarUI::BoolVarUI ( const unsigned  n_) [inline]

Definition at line 57 of file Literal.hpp.


Friends And Related Function Documentation

bool operator< ( const BoolVarUI a,
const BoolVarUI b 
) [friend]

Definition at line 66 of file Literal.hpp.

std::ostream& operator<< ( std::ostream &  o,
const BoolVarUI v 
) [friend]

Definition at line 75 of file Literal.hpp.

bool operator== ( const BoolVarUI a,
const BoolVarUI b 
) [friend]

Definition at line 69 of file Literal.hpp.


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