OKlibrary  0.2.1.6
Literal::Lit< Var, Value > Class Template Reference

#include <Literal.hpp>

List of all members.

Public Member Functions

 Lit (const Var &v_, const Value &s_)
 operator Var () const
 operator Value () const

Detailed Description

template<class Var, class Value>
class Literal::Lit< Var, Value >

Definition at line 20 of file Literal.hpp.


Constructor & Destructor Documentation

template<class Var, class Value>
Literal::Lit< Var, Value >::Lit ( const Var v_,
const Value &  s_ 
) [inline]

Definition at line 22 of file Literal.hpp.


Member Function Documentation

template<class Var, class Value>
Literal::Lit< Var, Value >::operator Value ( ) const [inline]

Definition at line 25 of file Literal.hpp.

template<class Var, class Value>
Literal::Lit< Var, Value >::operator Var ( ) const [inline]

Definition at line 24 of file Literal.hpp.


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