metaSMT 2
|
Typedefs | |
typedef proto::result_of::make_expr < proto::tag::terminal, Predicate_Domain, tag::var_tag > ::type | metaSMT::logic::predicate |
Functions | |
template<typename E1 , typename E2 > | |
proto::result_of::make_expr < tag::equal_tag, Predicate_Domain, E1 const &, E2 const & >::type | metaSMT::logic::equal (E1 const &e1, E2 const &e2) |
template<typename E1 , typename E2 > | |
proto::result_of::make_expr < tag::nequal_tag, Predicate_Domain, E1 const &, E2 const & >::type | metaSMT::logic::nequal (E1 const &e1, E2 const &e2) |
template<typename E1 , typename E2 > | |
proto::result_of::make_expr < tag::implies_tag, Predicate_Domain, E1 const &, E2 const & >::type | metaSMT::logic::implies (E1 const &e1, E2 const &e2) |
template<typename E1 , typename E2 > | |
proto::result_of::make_expr < tag::and_tag, Predicate_Domain, E1 const &, E2 const & >::type | metaSMT::logic::And (E1 const &e1, E2 const &e2) |
template<typename E1 , typename E2 > | |
proto::result_of::make_expr < tag::nand_tag, Predicate_Domain, E1 const &, E2 const & >::type | metaSMT::logic::Nand (E1 const &e1, E2 const &e2) |
template<typename E1 , typename E2 > | |
proto::result_of::make_expr < tag::or_tag, Predicate_Domain, E1 const &, E2 const & >::type | metaSMT::logic::Or (E1 const &e1, E2 const &e2) |
template<typename E1 , typename E2 > | |
proto::result_of::make_expr < tag::nor_tag, Predicate_Domain, E1 const &, E2 const & >::type | metaSMT::logic::Nor (E1 const &e1, E2 const &e2) |
template<typename E1 , typename E2 > | |
proto::result_of::make_expr < tag::xor_tag, Predicate_Domain, E1 const &, E2 const & >::type | metaSMT::logic::Xor (E1 const &e1, E2 const &e2) |
template<typename E1 , typename E2 > | |
proto::result_of::make_expr < tag::xnor_tag, Predicate_Domain, E1 const &, E2 const & >::type | metaSMT::logic::Xnor (E1 const &e1, E2 const &e2) |
template<typename E1 , typename E2 , typename E3 > | |
proto::result_of::make_expr < tag::ite_tag, Predicate_Domain, E1 const &, E2 const &, E3 const & > ::type | metaSMT::logic::Ite (E1 const &e1, E2 const &e2, E3 const &e3) |
predicate | metaSMT::logic::new_variable () |
template<typename E1 > | |
proto::result_of::make_expr < tag::not_tag, Predicate_Domain, E1 const & > ::type | metaSMT::logic::Not (E1 const &e1) |
template<typename E1 , typename E2 , typename E3 > | |
proto::result_of::make_expr < tag::ite_tag, Predicate_Domain, E1 const &, E2 const &, E3 const & > ::type | metaSMT::logic::implies (E1 const &e1, E2 const &e2, E3 const &e3) |
Variables | |
Predicate< proto::terminal < tag::true_tag >::type > const | metaSMT::logic::True |
Predicate< proto::terminal < tag::false_tag >::type > const | metaSMT::logic::False |
typedef proto::result_of::make_expr< proto::tag::terminal, Predicate_Domain , tag::var_tag >::type metaSMT::logic::predicate |
proto::result_of::make_expr< tag::and_tag , Predicate_Domain, E1 const &, E2 const & >::type metaSMT::logic::And | ( | E1 const & | e1, |
E2 const & | e2 | ||
) |
proto::result_of::make_expr< tag::equal_tag , Predicate_Domain, E1 const &, E2 const & >::type metaSMT::logic::equal | ( | E1 const & | e1, |
E2 const & | e2 | ||
) |
proto::result_of::make_expr< tag::implies_tag , Predicate_Domain, E1 const &, E2 const & >::type metaSMT::logic::implies | ( | E1 const & | e1, |
E2 const & | e2 | ||
) |
proto::result_of::make_expr< tag::ite_tag , Predicate_Domain , E1 const &, E2 const &, E3 const & >::type metaSMT::logic::implies | ( | E1 const & | e1, |
E2 const & | e2, | ||
E3 const & | e3 | ||
) |
proto::result_of::make_expr< tag::ite_tag, Predicate_Domain, E1 const &, E2 const &, E3 const & >::type metaSMT::logic::Ite | ( | E1 const & | e1, |
E2 const & | e2, | ||
E3 const & | e3 | ||
) |
proto::result_of::make_expr< tag::nand_tag , Predicate_Domain, E1 const &, E2 const & >::type metaSMT::logic::Nand | ( | E1 const & | e1, |
E2 const & | e2 | ||
) |
proto::result_of::make_expr< tag::nequal_tag , Predicate_Domain, E1 const &, E2 const & >::type metaSMT::logic::nequal | ( | E1 const & | e1, |
E2 const & | e2 | ||
) |
proto::result_of::make_expr< tag::nor_tag , Predicate_Domain, E1 const &, E2 const & >::type metaSMT::logic::Nor | ( | E1 const & | e1, |
E2 const & | e2 | ||
) |
proto::result_of::make_expr< tag::not_tag, Predicate_Domain, E1 const & >::type metaSMT::logic::Not | ( | E1 const & | e1 | ) |
proto::result_of::make_expr< tag::or_tag , Predicate_Domain, E1 const &, E2 const & >::type metaSMT::logic::Or | ( | E1 const & | e1, |
E2 const & | e2 | ||
) |
proto::result_of::make_expr< tag::xnor_tag , Predicate_Domain, E1 const &, E2 const & >::type metaSMT::logic::Xnor | ( | E1 const & | e1, |
E2 const & | e2 | ||
) |
proto::result_of::make_expr< tag::xor_tag , Predicate_Domain, E1 const &, E2 const & >::type metaSMT::logic::Xor | ( | E1 const & | e1, |
E2 const & | e2 | ||
) |
Predicate<proto::terminal<tag::false_tag>::type > const metaSMT::logic::False |
Predicate<proto::terminal<tag::true_tag>::type > const metaSMT::logic::True |