|
cMHN 1.2
C++ library for learning MHNs with pRC
|
#include <prc/core/basic/basics.hpp>#include <prc/core/basic/identity.hpp>#include <prc/core/basic/unit.hpp>#include <prc/core/basic/zero.hpp>Go to the source code of this file.
Namespaces | |
| namespace | pRC |
Functions | |
| template<class X , template< class > class T> requires IsSame<T<Void>, Identity<>> || IsSame<T<Void>, Unit<>> || IsSame<T<Void>, Zero<>> | |
| static constexpr auto | pRC::operator> (X &&a, T< Void > const) |
| template<class X , template< class > class T> requires IsSame<T<Void>, Identity<>> || IsSame<T<Void>, Unit<>> || IsSame<T<Void>, Zero<>> | |
| static constexpr auto | pRC::operator> (T< Void > const, X &&b) |
| template<template< class > class TA, template< class > class TB> requires ((IsSame<TA<Void>, Identity<>> || IsSame<TA<Void>, Unit<>> || IsSame<TA<Void>, Zero<>>) && (IsSame<TB<Void>, Identity<>> || IsSame<TB<Void>, Unit<>> || IsSame<TB<Void>, Zero<>>)) | |
| static constexpr auto | pRC::operator> (TA< Void > const, TB< Void > const) |