Skip to content
Snippets Groups Projects
Normal view Permalink
CNDFS.h 298 B
Newer Older
  • Learn to ignore specific revisions
    • Ghofrane Amaimi's avatar
    main and CNDFS CLASS connexion
    Ghofrane Amaimi committed
    1 2 3 4 5 6 
    //
// Created by ghofrane on 5/4/22.
//

#ifndef PMC_SOG_CNDFS_H
#define PMC_SOG_CNDFS_H
    Ghofrane Amaimi's avatar
    get initial states of SOG and BA  
    Ghofrane Amaimi committed
    7 8 
    #include "ModelCheckBaseMT.h"
#include <spot/tl/apcollect.hh>
    Ghofrane Amaimi's avatar
    main and CNDFS CLASS connexion
    Ghofrane Amaimi committed
    9 10 11 
    class CNDFS {
public:
    virtual ~CNDFS();
    Ghofrane Amaimi's avatar
    get initial states of SOG and BA  
    Ghofrane Amaimi committed
    12 
        void DfsBlue(ModelCheckBaseMT &mcl, shared_ptr<spot::twa_graph> af);
    Ghofrane Amaimi's avatar
    main and CNDFS CLASS connexion
    Ghofrane Amaimi committed
    13 14 15 16 
    };


#endif //PMC_SOG_CNDFS_H