metaSMT 2
Namespaces | Functions
metaSMT/support/cardinality.hpp File Reference
#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)
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines