GameBddResult.cpp

Go to the documentation of this file.

#include "storm-gamebased-ar/abstraction/GameBddResult.h"
#include "storm/storage/dd/sylvan/InternalSylvanBdd.h"
 
namespace storm::gbar {
namespace abstraction {
 
template<storm::dd::DdType DdType>
GameBddResult<DdType>::GameBddResult() : bdd(), numberOfPlayer2Variables(0) {
    // Intentionally left empty.
}
GameBddResult<DdType>::GameBddResult() : bdd(), numberOfPlayer2Variables(0) {…}
 
template<storm::dd::DdType DdType>
GameBddResult<DdType>::GameBddResult(storm::dd::Bdd<DdType> const& gameBdd, uint_fast64_t numberOfPlayer2Variables)
    : bdd(gameBdd), numberOfPlayer2Variables(numberOfPlayer2Variables) {
    // Intentionally left empty.
}
GameBddResult<DdType>::GameBddResult(storm::dd::Bdd<DdType> const& gameBdd, uint_fast64_t numberOfPlayer2Variables) {…}
 
template struct GameBddResult<storm::dd::DdType::CUDD>;
template struct GameBddResult<storm::dd::DdType::Sylvan>;
 
}  // namespace abstraction
}  // namespace storm::gbar