metaSMT 2
|
#include <Logic.hpp>
Public Types | |
typedef proto::extends< Expr, Predicate< Expr > , Predicate_Domain > | base_type |
Public Member Functions | |
Predicate (Expr const &expr=Expr()) |
typedef proto::extends<Expr, Predicate<Expr>, Predicate_Domain > metaSMT::logic::Predicate< Expr >::base_type |
metaSMT::logic::Predicate< Expr >::Predicate | ( | Expr const & | expr = Expr() | ) | [inline] |