metaSMT git
Public Types | Public Member Functions | Public Attributes

metaSMT::Aiger Class Reference

#include <Aiger.hpp>

List of all members.

Public Types

typedef unsigned result_type

Public Member Functions

 Aiger ()
 ~Aiger ()
result_type operator() (logic::tag::var_tag const &var, boost::any args)
result_type operator() (logic::tag::true_tag const &, boost::any args)
result_type operator() (logic::tag::false_tag const &, boost::any args)
result_type operator() (logic::tag::not_tag const &, result_type operand)
result_type operator() (logic::tag::and_tag const &, result_type lhs, result_type rhs)
result_type operator() (logic::tag::nand_tag const &, result_type lhs, result_type rhs)
result_type operator() (logic::tag::equal_tag const &, result_type lhs, result_type rhs)
result_type operator() (logic::tag::nequal_tag const &, result_type lhs, result_type rhs)
result_type operator() (logic::tag::xnor_tag const &, result_type lhs, result_type rhs)
result_type operator() (logic::tag::implies_tag const &, result_type lhs, result_type rhs)
result_type operator() (logic::tag::or_tag const &, result_type lhs, result_type rhs)
result_type operator() (logic::tag::nor_tag const &, result_type lhs, result_type rhs)
result_type operator() (logic::tag::xor_tag const &, result_type lhs, result_type rhs)
result_type operator() (logic::tag::ite_tag const &, result_type I, result_type T, result_type E)
template<typename T >
result_type operator() (T const &, result_type lhs, result_type rhs)
template<typename T , typename Arg >
result_type operator() (T const &var, Arg lhs)
template<typename T >
result_type operator() (T const &var, result_type op1, result_type op2, result_type op3)
unsigned new_var ()
unsigned aiger_add_or (aiger *aig, unsigned lhs, unsigned rhs)
unsigned aiger_add_xor (aiger *aig, unsigned lhs, unsigned rhs)
unsigned aiger_add_xnor (aiger *aig, unsigned lhs, unsigned rhs)
unsigned aiger_add_ite (aiger *aig, unsigned I, unsigned T, unsigned E)

Public Attributes

aiger * aig

Detailed Description

Definition at line 13 of file Aiger.hpp.


Member Typedef Documentation

typedef unsigned metaSMT::Aiger::result_type

Definition at line 16 of file Aiger.hpp.


Constructor & Destructor Documentation

metaSMT::Aiger::Aiger ( ) [inline]

Definition at line 21 of file Aiger.hpp.

metaSMT::Aiger::~Aiger ( ) [inline]

Definition at line 22 of file Aiger.hpp.


Member Function Documentation

unsigned metaSMT::Aiger::aiger_add_ite ( aiger *  aig,
unsigned  I,
unsigned  T,
unsigned  E 
) [inline]

Definition at line 154 of file Aiger.hpp.

unsigned metaSMT::Aiger::aiger_add_or ( aiger *  aig,
unsigned  lhs,
unsigned  rhs 
) [inline]

Definition at line 129 of file Aiger.hpp.

unsigned metaSMT::Aiger::aiger_add_xnor ( aiger *  aig,
unsigned  lhs,
unsigned  rhs 
) [inline]

Definition at line 141 of file Aiger.hpp.

unsigned metaSMT::Aiger::aiger_add_xor ( aiger *  aig,
unsigned  lhs,
unsigned  rhs 
) [inline]

Definition at line 136 of file Aiger.hpp.

unsigned metaSMT::Aiger::new_var ( ) [inline]

Definition at line 123 of file Aiger.hpp.

result_type metaSMT::Aiger::operator() ( logic::tag::xnor_tag const &  ,
result_type  lhs,
result_type  rhs 
) [inline]

Definition at line 71 of file Aiger.hpp.

template<typename T >
result_type metaSMT::Aiger::operator() ( T const &  var,
result_type  op1,
result_type  op2,
result_type  op3 
) [inline]

Definition at line 117 of file Aiger.hpp.

template<typename T , typename Arg >
result_type metaSMT::Aiger::operator() ( T const &  var,
Arg  lhs 
) [inline]

Definition at line 110 of file Aiger.hpp.

template<typename T >
result_type metaSMT::Aiger::operator() ( T const &  ,
result_type  lhs,
result_type  rhs 
) [inline]

Definition at line 103 of file Aiger.hpp.

result_type metaSMT::Aiger::operator() ( logic::tag::ite_tag const &  ,
result_type  I,
result_type  T,
result_type  E 
) [inline]

Definition at line 96 of file Aiger.hpp.

result_type metaSMT::Aiger::operator() ( logic::tag::xor_tag const &  ,
result_type  lhs,
result_type  rhs 
) [inline]

Definition at line 91 of file Aiger.hpp.

result_type metaSMT::Aiger::operator() ( logic::tag::nor_tag const &  ,
result_type  lhs,
result_type  rhs 
) [inline]

Definition at line 86 of file Aiger.hpp.

result_type metaSMT::Aiger::operator() ( logic::tag::or_tag const &  ,
result_type  lhs,
result_type  rhs 
) [inline]

Definition at line 81 of file Aiger.hpp.

result_type metaSMT::Aiger::operator() ( logic::tag::and_tag const &  ,
result_type  lhs,
result_type  rhs 
) [inline]

Definition at line 47 of file Aiger.hpp.

result_type metaSMT::Aiger::operator() ( logic::tag::true_tag const &  ,
boost::any  args 
) [inline]

Definition at line 32 of file Aiger.hpp.

result_type metaSMT::Aiger::operator() ( logic::tag::nequal_tag const &  ,
result_type  lhs,
result_type  rhs 
) [inline]

Definition at line 66 of file Aiger.hpp.

result_type metaSMT::Aiger::operator() ( logic::tag::equal_tag const &  ,
result_type  lhs,
result_type  rhs 
) [inline]

Definition at line 61 of file Aiger.hpp.

result_type metaSMT::Aiger::operator() ( logic::tag::nand_tag const &  ,
result_type  lhs,
result_type  rhs 
) [inline]

Definition at line 54 of file Aiger.hpp.

result_type metaSMT::Aiger::operator() ( logic::tag::implies_tag const &  ,
result_type  lhs,
result_type  rhs 
) [inline]

Definition at line 76 of file Aiger.hpp.

result_type metaSMT::Aiger::operator() ( logic::tag::var_tag const &  var,
boost::any  args 
) [inline]

Definition at line 27 of file Aiger.hpp.

result_type metaSMT::Aiger::operator() ( logic::tag::false_tag const &  ,
boost::any  args 
) [inline]

Definition at line 37 of file Aiger.hpp.

result_type metaSMT::Aiger::operator() ( logic::tag::not_tag const &  ,
result_type  operand 
) [inline]

Definition at line 42 of file Aiger.hpp.


Member Data Documentation

Definition at line 18 of file Aiger.hpp.


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