BoolVarLit::BoolVal Class Reference

#include <Literal.hpp>

List of all members.

Public Member Functions

 BoolVal (const Signs s_)
 operator Signs () const
const BoolVal operator! () const

Detailed Description

Definition at line 81 of file Literal.hpp.

Constructor & Destructor Documentation

BoolVarLit::BoolVal::BoolVal ( const Signs  s_) [inline]

Definition at line 83 of file Literal.hpp.

Member Function Documentation

BoolVarLit::BoolVal::operator Signs ( ) const [inline]

Definition at line 85 of file Literal.hpp.

const BoolVal BoolVarLit::BoolVal::operator! ( ) const [inline]

Definition at line 86 of file Literal.hpp.

References BoolVarLit::neg, and BoolVarLit::pos.

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