metaSMT git
Typedefs | Functions | Variables

Core Logic Frontend

Frontend

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 Documentation

typedef proto::result_of::make_expr< proto::tag::terminal, Predicate_Domain , tag::var_tag >::type metaSMT::logic::predicate

Definition at line 103 of file Logic.hpp.


Function Documentation

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 
)

Definition at line 83 of file Logic.hpp.

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 
)

Definition at line 80 of file Logic.hpp.

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 
)

Definition at line 82 of file Logic.hpp.

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 
)

Definition at line 128 of file Logic.hpp.

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 
)

Definition at line 95 of file Logic.hpp.

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 
)

Definition at line 84 of file Logic.hpp.

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 
)

Definition at line 81 of file Logic.hpp.

predicate metaSMT::logic::new_variable ( ) [inline]

Definition at line 106 of file Logic.hpp.

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 
)

Definition at line 86 of file Logic.hpp.

template<typename E1 >
proto::result_of::make_expr< tag::not_tag, Predicate_Domain, E1 const & >::type metaSMT::logic::Not ( E1 const &  e1)

Definition at line 117 of file Logic.hpp.

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 
)

Definition at line 85 of file Logic.hpp.

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 
)

Definition at line 88 of file Logic.hpp.

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 
)

Definition at line 87 of file Logic.hpp.


Variable Documentation

Predicate<proto::terminal<tag::false_tag>::type > const metaSMT::logic::False

Definition at line 69 of file Logic.hpp.

Predicate<proto::terminal<tag::true_tag>::type > const metaSMT::logic::True

Definition at line 68 of file Logic.hpp.

 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines