OKlibrary  0.2.1.6
BoolVarLit Namespace Reference

Classes

class  BoolVarUI
class  BoolVal

Typedefs

typedef Literal::Lit
< BoolVarUI, BoolVal
BoolLitUIV

Enumerations

enum  Signs { pos = 0, neg = 1 }

Functions

bool operator< (const BoolVarUI &a, const BoolVarUI &b)
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)
bool operator< (const BoolVal &a, const BoolVal &b)
std::ostream & operator<< (std::ostream &o, const BoolVal &s)

Typedef Documentation

Definition at line 97 of file Literal.hpp.


Enumeration Type Documentation

Enumerator:
pos 
neg 

Definition at line 80 of file Literal.hpp.


Function Documentation

bool BoolVarLit::operator!= ( const BoolVarUI &  a,
const BoolVarUI &  b 
) [inline]

Definition at line 72 of file Literal.hpp.

bool BoolVarLit::operator< ( const BoolVarUI &  a,
const BoolVarUI &  b 
) [inline]

Definition at line 66 of file Literal.hpp.

bool BoolVarLit::operator< ( const BoolVal &  a,
const BoolVal &  b 
) [inline]

Definition at line 90 of file Literal.hpp.

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

Definition at line 75 of file Literal.hpp.

std::ostream& BoolVarLit::operator<< ( std::ostream &  o,
const BoolVal &  s 
)

Definition at line 93 of file Literal.hpp.

References pos.

bool BoolVarLit::operator== ( const BoolVarUI &  a,
const BoolVarUI &  b 
) [inline]

Definition at line 69 of file Literal.hpp.