concepts.h

Go to the documentation of this file.

 
// NIST-developed software is provided by NIST as a public service. You may use, copy and distribute copies of the
// software in any medium, provided that you keep intact this entire notice. You may improve, modify and create
// derivative works of the software or any portion of the software, and you may copy and distribute such modifications
// or works. Modified works should carry a notice stating that you changed the software and should note the date and
// nature of any such change. Please explicitly acknowledge the National Institute of Standards and Technology as the
// source of the software. NIST-developed software is expressly provided "AS IS." NIST MAKES NO WARRANTY OF ANY KIND,
// EXPRESS, IMPLIED, IN FACT OR ARISING BY OPERATION OF LAW, INCLUDING, WITHOUT LIMITATION, THE IMPLIED WARRANTY OF
// MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE, NON-INFRINGEMENT AND DATA ACCURACY. NIST NEITHER REPRESENTS NOR
// WARRANTS THAT THE OPERATION OF THE SOFTWARE WILL BE UNINTERRUPTED OR ERROR-FREE, OR THAT ANY DEFECTS WILL BE
// CORRECTED. NIST DOES NOT WARRANT OR MAKE ANY REPRESENTATIONS REGARDING THE USE OF THE SOFTWARE OR THE RESULTS
// THEREOF, INCLUDING BUT NOT LIMITED TO THE CORRECTNESS, ACCURACY, RELIABILITY, OR USEFULNESS OF THE SOFTWARE. You
// are solely responsible for determining the appropriateness of using and distributing the software and you assume
// all risks associated with its use, including but not limited to the risks and costs of program errors, compliance
// with applicable laws, damage to or loss of data, programs or equipment, and the unavailability or interruption of
// operation. This software is not intended to be used in any situation where a failure could cause risk of injury or
// damage to property. The software developed by NIST employees is not subject to copyright protection within the
// United States.
 
#ifndef HEDGEHOG_CX_CONCEPTS_H_
#define HEDGEHOG_CX_CONCEPTS_H_
 
#ifdef HH_ENABLE_HH_CX
 
#include "meta_functions.h"
 
namespace hh_cx {
namespace behavior {
 
#ifndef DOXYGEN_SHOULD_SKIP_THIS
class AbstractNode;
#endif //DOXYGEN_SHOULD_SKIP_THIS
 
}
namespace tool {
 
template<class HedgehogNode>
concept HedgehogConnectableNode = hh::tool::SenderNode<HedgehogNode> && hh::tool::ReceiverNode<HedgehogNode>;
 
template<typename StaticHedgehogNode>
concept HedgehogStaticNode = requires{
  std::is_base_of_v<hh_cx::behavior::AbstractNode, StaticHedgehogNode>;
  typename StaticHedgehogNode::ro_type_t; 
  typename StaticHedgehogNode::dynamic_node_t; 
  typename StaticHedgehogNode::inputs_t; 
  typename StaticHedgehogNode::outputs_t; 
};
 
template<typename DynamicHedgehogNode>
concept HedgehogDynamicGraphForStaticAnalysis =
HedgehogConnectableNode<DynamicHedgehogNode>
    && std::is_base_of_v<
        hh_cx::tool::Graph_t<
            std::tuple_size_v<typename DynamicHedgehogNode::inputs_t>,
            hh_cx::tool::CatTuples_t<
                typename DynamicHedgehogNode::inputs_t,
                typename DynamicHedgehogNode::outputs_t>
            >,
        DynamicHedgehogNode>
    && std::is_constructible_v<DynamicHedgehogNode, std::string const &>;
}
 
}
#endif //HH_ENABLE_HH_CX
#endif //HEDGEHOG_CX_CONCEPTS_H_