metaSMT 2
|
#include <Aiger.hpp>
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 |
typedef unsigned metaSMT::Aiger::result_type |
unsigned metaSMT::Aiger::aiger_add_ite | ( | aiger * | aig, |
unsigned | I, | ||
unsigned | T, | ||
unsigned | E | ||
) | [inline] |
unsigned metaSMT::Aiger::aiger_add_or | ( | aiger * | aig, |
unsigned | lhs, | ||
unsigned | rhs | ||
) | [inline] |
unsigned metaSMT::Aiger::aiger_add_xnor | ( | aiger * | aig, |
unsigned | lhs, | ||
unsigned | rhs | ||
) | [inline] |
unsigned metaSMT::Aiger::aiger_add_xor | ( | aiger * | aig, |
unsigned | lhs, | ||
unsigned | rhs | ||
) | [inline] |
result_type metaSMT::Aiger::operator() | ( | logic::tag::xnor_tag const & | , |
result_type | lhs, | ||
result_type | rhs | ||
) | [inline] |
result_type metaSMT::Aiger::operator() | ( | T const & | var, |
result_type | op1, | ||
result_type | op2, | ||
result_type | op3 | ||
) | [inline] |
result_type metaSMT::Aiger::operator() | ( | T const & | var, |
Arg | lhs | ||
) | [inline] |
result_type metaSMT::Aiger::operator() | ( | T const & | , |
result_type | lhs, | ||
result_type | rhs | ||
) | [inline] |
result_type metaSMT::Aiger::operator() | ( | logic::tag::ite_tag const & | , |
result_type | I, | ||
result_type | T, | ||
result_type | E | ||
) | [inline] |
result_type metaSMT::Aiger::operator() | ( | logic::tag::xor_tag const & | , |
result_type | lhs, | ||
result_type | rhs | ||
) | [inline] |
result_type metaSMT::Aiger::operator() | ( | logic::tag::nor_tag const & | , |
result_type | lhs, | ||
result_type | rhs | ||
) | [inline] |
result_type metaSMT::Aiger::operator() | ( | logic::tag::or_tag const & | , |
result_type | lhs, | ||
result_type | rhs | ||
) | [inline] |
result_type metaSMT::Aiger::operator() | ( | logic::tag::and_tag const & | , |
result_type | lhs, | ||
result_type | rhs | ||
) | [inline] |
result_type metaSMT::Aiger::operator() | ( | logic::tag::true_tag const & | , |
boost::any | args | ||
) | [inline] |
result_type metaSMT::Aiger::operator() | ( | logic::tag::nequal_tag const & | , |
result_type | lhs, | ||
result_type | rhs | ||
) | [inline] |
result_type metaSMT::Aiger::operator() | ( | logic::tag::equal_tag const & | , |
result_type | lhs, | ||
result_type | rhs | ||
) | [inline] |
result_type metaSMT::Aiger::operator() | ( | logic::tag::nand_tag const & | , |
result_type | lhs, | ||
result_type | rhs | ||
) | [inline] |
result_type metaSMT::Aiger::operator() | ( | logic::tag::implies_tag const & | , |
result_type | lhs, | ||
result_type | rhs | ||
) | [inline] |
result_type metaSMT::Aiger::operator() | ( | logic::tag::var_tag const & | var, |
boost::any | args | ||
) | [inline] |
result_type metaSMT::Aiger::operator() | ( | logic::tag::false_tag const & | , |
boost::any | args | ||
) | [inline] |
result_type metaSMT::Aiger::operator() | ( | logic::tag::not_tag const & | , |
result_type | operand | ||
) | [inline] |
aiger* metaSMT::Aiger::aig |