DiaDes  0.1
DIAgnosis of Discrete-Event System
Public Member Functions | Private Attributes | List of all members
Diades::Automata::Experimental::SynchronisationRulesEncoder< SyncRules, SynchronisationEventEncoder > Class Template Reference

#include <SynchronisationRules.hh>

Public Member Functions

 SynchronisationRulesEncoder (SyncRules &rules)
 

Private Attributes

SyncRules _rules
 

Detailed Description

template<typename SyncRules, typename SynchronisationEventEncoder>
class Diades::Automata::Experimental::SynchronisationRulesEncoder< SyncRules, SynchronisationEventEncoder >

Definition at line 380 of file SynchronisationRules.hh.

Constructor & Destructor Documentation

◆ SynchronisationRulesEncoder()

template<typename SyncRules , typename SynchronisationEventEncoder >
Diades::Automata::Experimental::SynchronisationRulesEncoder< SyncRules, SynchronisationEventEncoder >::SynchronisationRulesEncoder ( SyncRules &  rules)
inline

Definition at line 386 of file SynchronisationRules.hh.

Member Data Documentation

◆ _rules

template<typename SyncRules , typename SynchronisationEventEncoder >
SyncRules Diades::Automata::Experimental::SynchronisationRulesEncoder< SyncRules, SynchronisationEventEncoder >::_rules
private

Definition at line 383 of file SynchronisationRules.hh.


The documentation for this class was generated from the following file: