SymbolicStateSet.h

Go to the documentation of this file.

#pragma once
 
#include "storm-gamebased-ar/abstraction/StateSet.h"
 
#include "storm/storage/dd/Bdd.h"
#include "storm/storage/dd/DdType.h"
 
namespace storm::gbar {
namespace abstraction {
 
template<storm::dd::DdType Type>
class SymbolicStateSet : public StateSet {
   public:
    SymbolicStateSet(storm::dd::Bdd<Type> const& states);
 
    virtual bool isSymbolic() const override;
 
    storm::dd::Bdd<Type> const& getStates() const;
 
   private:
    storm::dd::Bdd<Type> states;
};
 
}  // namespace abstraction
}  // namespace storm::gbar