metaSMT git
|
#include <metaSMT/frontend/Logic.hpp>
Go to the source code of this file.
Namespaces | |
namespace | metaSMT |
Functions | |
template<typename Context , typename Boolean > | |
Context::result_type | metaSMT::one_hot (Context &ctx, std::vector< Boolean > const &ps) |
template<typename Context , typename Boolean > | |
Context::result_type | metaSMT::cardinality_geq (Context &ctx, std::vector< Boolean > const &ps, unsigned cardinality) |
template<typename Context , typename Boolean > | |
Context::result_type | metaSMT::cardinality_lt (Context &ctx, std::vector< Boolean > const &ps, unsigned cardinality) |
template<typename Context , typename Boolean > | |
Context::result_type | metaSMT::cardinality_eq (Context &ctx, std::vector< Boolean > const &ps, unsigned cardinality) |