concepts.h File Reference

#include <type_traits>
#include "meta_functions.h"

Include dependency graph for concepts.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces
namespace	hh
	Hedgehog main namespace.
namespace	hh::tool
	Hedgehog tool namespace.

Concepts
concept	hh::tool::ContainsConcept
	Concept verifying that a type is in a variadic.
concept	hh::tool::ContainsInTupleConcept
	Concept verifying that a type is in a tuple.
concept	hh::tool::MatchInputTypeConcept
	Test if an input type is in the list of input types (tuple)
concept	hh::tool::MatchOutputTypeConcept
	Test if an output type is in the list of output types (variadic)
concept	hh::tool::MultiSendersAndNotifierAbstractionConcept
	Test if a type inherit from core::abstraction::SenderAbstraction for all Os and core::abstraction::NotifierAbstraction.
concept	hh::tool::ManageableMemory
	Test if a type T is manageable in a Memory manager (derives from ManagedMemory and is default constructible)
concept	hh::tool::CompatibleInputCore
	Test if a core can be input of a graph (derives from core::abstraction::NodeAbstraction and shares at least one input type with the graph)
concept	hh::tool::CompatibleInputCoreForAType
	Test if a core can be input of a graph for a type (derives from core::abstraction::NodeAbstraction and type InputType is in the tuples of the core and graph input types)
concept	hh::tool::CompatibleOutputCore
	Test if a core can be output of a graph (derives from core::abstraction::NodeAbstraction and shares at least one output type with the graph)
concept	hh::tool::CompatibleOutputCoreForAType
	Test if a core can be output of a graph for a type (derives from core::abstraction::NodeAbstraction and type OutputType is in the tuples of the core and graph output types)
concept	hh::tool::SenderNode
	Test if a node is a sender node.
concept	hh::tool::ReceiverNode
	Test if a node is a receiver node.
concept	hh::tool::SenderNodeForAType
	Test if a node is a sender for a type.
concept	hh::tool::ReceiverNodeForAType
	Test if a node is a receiver for a type.
concept	hh::tool::CompatibleInputNode
	Test if a node can be input of a graph.
concept	hh::tool::CompatibleInputNodeForAType
	Test if a node can be input of a graph for a type.
concept	hh::tool::CompatibleOutputNode
	Test if a node can be output of a graph.
concept	hh::tool::CompatibleOutputNodeForAType
	Test if a node can be output of a graph for a type.
concept	hh::tool::CopyableNode
	Test if a node is copyable (copy method is callable and has a the right return type)
concept	hh::tool::ConcreteMultiReceiverImplementation
	Test if a type is a valid concrete implementation of the core::implementor::ImplementorReceiver for the InputTypes.
concept	hh::tool::ConcreteMultiSenderImplementation
	Test if a type is a valid concrete implementation of the core::implementor::ImplementorSender for the OutputTypes.
concept	hh::tool::ConcreteMultiExecuteImplementation
	Test if a type is a valid concrete implementation of the core::implementor::ImplementorExecute for the InputTypes.