Accuracy.hh

Go to the documentation of this file.

#ifndef __DIADES__AUTOMATA__ACCURACY__HH
#define __DIADES__AUTOMATA__ACCURACY__HH
#include<string>
#include<set>
#include"Event.hh"
#include"ObservableComponent.hh"
#include"ConnectionMap.hh"
#include"SubConfiguration.hh"

namespace Diades
{
  namespace Automata
  {



        void checkAccuracy(const ObservableComponent & component,
                                           const set<Event> & faults,
                                           const set<Event> & interactives,
                                           string & information, bool & result,
                                           set< set<Event> > & minimalCombinations,int depth);


        void checkSubconfigurationAccuracy(const TopologyMap & topology,
                                                                           const SubConfiguration & subConfiguration,
                                                                           const set<Event> & events,
                                                                           string & information, bool & result,
                                                                           set< set<Event> > & minimalCombinations,
                                                                           int depth, ofstream & toLatex);
  

  
  };
};

#endif