metaSMT 2
Public Member Functions | Public Attributes | Friends
metaSMT::SAT::tag::lit_tag Struct Reference

#include <SAT.hpp>

List of all members.

Public Member Functions

bool operator< (lit_tag const &other) const
lit_tag operator- () const
int var () const

Public Attributes

int id

Friends

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

Detailed Description

Definition at line 15 of file SAT.hpp.


Member Function Documentation

lit_tag metaSMT::SAT::tag::lit_tag::operator- ( ) const [inline]

Definition at line 21 of file SAT.hpp.

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

Definition at line 20 of file SAT.hpp.

int metaSMT::SAT::tag::lit_tag::var ( ) const [inline]

Definition at line 22 of file SAT.hpp.


Friends And Related Function Documentation

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

Definition at line 18 of file SAT.hpp.


Member Data Documentation

Definition at line 16 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