metaSMT git
Public Member Functions | Friends

metaSMT::SAT::tag::not_tag Struct Reference

#include <SAT.hpp>

List of all members.

Public Member Functions

bool operator< (not_tag const &other) const

Friends

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

Detailed Description

Definition at line 32 of file SAT.hpp.


Member Function Documentation

bool metaSMT::SAT::tag::not_tag::operator< ( not_tag const &  other) const [inline]

Definition at line 36 of file SAT.hpp.


Friends And Related Function Documentation

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

Definition at line 34 of file SAT.hpp.


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