SymbolicQualitativeGameResult.cpp

Go to the documentation of this file.

#include "storm-gamebased-ar/abstraction/SymbolicQualitativeGameResult.h"
#include "storm/storage/dd/sylvan/InternalSylvanBdd.h"
 
namespace storm::gbar {
namespace abstraction {
 
template<storm::dd::DdType Type>
SymbolicQualitativeGameResult<Type>::SymbolicQualitativeGameResult(storm::utility::graph::SymbolicGameProb01Result<Type> const& prob01Result)
    : storm::utility::graph::SymbolicGameProb01Result<Type>(prob01Result) {
    // Intentionally left empty.
}
 
template<storm::dd::DdType Type>
storm::dd::Bdd<Type> const& SymbolicQualitativeGameResult<Type>::getStates() const {
    return this->getPlayer1States();
}
 
template class SymbolicQualitativeGameResult<storm::dd::DdType::CUDD>;
template class SymbolicQualitativeGameResult<storm::dd::DdType::Sylvan>;
}  // namespace abstraction
}  // namespace storm::gbar