SubEnvironment.cpp

Go to the documentation of this file.

#include <memory>
 
#include "storm/environment/Environment.h"
 
#include "storm/environment/dd/AllDdEnvironments.h"
#include "storm/environment/modelchecker/AllModelCheckerEnvironments.h"
#include "storm/environment/solver/AllSolverEnvironments.h"
 
namespace storm {
 
template<typename EnvironmentType>
SubEnvironment<EnvironmentType>::SubEnvironment() : subEnv(nullptr) {
    // Intentionally left empty
}
 
template<typename EnvironmentType>
SubEnvironment<EnvironmentType>::SubEnvironment(SubEnvironment const& other) : subEnv(other.subEnv ? new EnvironmentType(*other.subEnv) : nullptr) {
    // Intentionally left empty
}
 
template<typename EnvironmentType>
SubEnvironment<EnvironmentType>& SubEnvironment<EnvironmentType>::operator=(SubEnvironment const& other) {
    if (other.subEnv) {
        subEnv = std::make_unique<EnvironmentType>(*other.subEnv);
    } else {
        subEnv.reset();
    }
    return *this;
}
 
template<typename EnvironmentType>
EnvironmentType const& SubEnvironment<EnvironmentType>::get() const {
    assertInitialized();
    return *subEnv;
}
 
template<typename EnvironmentType>
EnvironmentType& SubEnvironment<EnvironmentType>::get() {
    assertInitialized();
    return *subEnv;
}
 
template<typename EnvironmentType>
void SubEnvironment<EnvironmentType>::assertInitialized() const {
    if (!subEnv) {
        subEnv = std::make_unique<EnvironmentType>();
    }
}
 
template class SubEnvironment<InternalEnvironment>;
 
template class SubEnvironment<DdEnvironment>;
template class SubEnvironment<SylvanDdManagerEnvironment>;
template class SubEnvironment<CuddDdManagerEnvironment>;
 
template class SubEnvironment<ConditionalModelCheckerEnvironment>;
template class SubEnvironment<MultiObjectiveModelCheckerEnvironment>;
template class SubEnvironment<ModelCheckerEnvironment>;
 
template class SubEnvironment<SolverEnvironment>;
template class SubEnvironment<EliminationSolverEnvironment>;
template class SubEnvironment<EigenSolverEnvironment>;
template class SubEnvironment<GmmxxSolverEnvironment>;
template class SubEnvironment<NativeSolverEnvironment>;
template class SubEnvironment<LongRunAverageSolverEnvironment>;
template class SubEnvironment<TimeBoundedSolverEnvironment>;
template class SubEnvironment<MinMaxSolverEnvironment>;
template class SubEnvironment<MinMaxLpSolverEnvironment>;
template class SubEnvironment<MultiplierEnvironment>;
template class SubEnvironment<OviSolverEnvironment>;
template class SubEnvironment<GameSolverEnvironment>;
template class SubEnvironment<TopologicalSolverEnvironment>;
template class SubEnvironment<GurobiSolverEnvironment>;
template class SubEnvironment<GlpkSolverEnvironment>;
 
}  // namespace storm