metaSMT git
Public Member Functions | Friends

metaSMT::nil Struct Reference

#include <Logic.hpp>

List of all members.

Public Member Functions

bool operator< (nil const &) const

Friends

template<typename STREAM >
STREAM & operator<< (STREAM &out, nil const &)

Detailed Description

Definition at line 7 of file Logic.hpp.


Member Function Documentation

bool metaSMT::nil::operator< ( nil const &  ) const [inline]

Definition at line 8 of file Logic.hpp.


Friends And Related Function Documentation

template<typename STREAM >
STREAM& operator<< ( STREAM &  out,
nil const &   
) [friend]

Definition at line 10 of file Logic.hpp.


The documentation for this struct was generated from the following file:
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines