OKlibrary  0.2.1.6
Literals::Lit Class Reference

#include <Literal.hpp>

List of all members.

Public Member Functions

 Lit ()
 Lit (Var, bool)
bool val () const
Var var () const
bool operator== (Lit) const
bool operator< (Lit) const
Lit comp () const

Detailed Description

Definition at line 24 of file Literal.hpp.


Constructor & Destructor Documentation

Literals::Lit::Lit ( ) [inline]

Definition at line 28 of file Literal.hpp.

Literals::Lit::Lit ( Var  a,
bool  b 
) [inline]

Definition at line 46 of file Literal.hpp.


Member Function Documentation

Lit Literals::Lit::comp ( ) const [inline]

Definition at line 66 of file Literal.hpp.

Referenced by Clauses::Cl::add(), and Clauses::Litset::comp_().

bool Literals::Lit::operator< ( Lit  x) const [inline]

Definition at line 62 of file Literal.hpp.

bool Literals::Lit::operator== ( Lit  x) const [inline]

Definition at line 58 of file Literal.hpp.

bool Literals::Lit::val ( ) const [inline]

Definition at line 50 of file Literal.hpp.

Referenced by PartAssignments::Pass::Pass(), and Literals::Val().

Var Literals::Lit::var ( ) const [inline]

Definition at line 54 of file Literal.hpp.

Referenced by PartAssignments::Pass::Pass(), Literals::Var(), and Clauses::Litset::var_().


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