UmbModelForward.h

Go to the documentation of this file.

#pragma once
 
namespace storm::umb {
 
class UmbModel;
struct ModelIndex;
 
}  // namespace storm::umb