InformationCollector.h

Go to the documentation of this file.

#pragma once
 
#include <cstdint>
#include <string>
 
#include "storm/storage/jani/ModelType.h"
 
namespace storm {
namespace jani {
 
class Model;
 
struct InformationObject {
    InformationObject();
    storm::jani::ModelType modelType;  
    uint64_t nrVariables;              
    uint64_t nrAutomata;               
    uint64_t nrEdges;                  
    uint64_t nrLocations;              
    uint64_t stateDomainSize;          
    double avgVarDomainSize;           
};
 
InformationObject collectModelInformation(Model const& model);
}  // namespace jani
}  // namespace storm