public ObstacleMonitor(Obstacle obstacle,
KAOSModel model,
IStateInformationStorage storage,
TimeSpan monitoringDelay) : base(model, obstacle, monitoringDelay)
{
this.storage = storage;
this.obstacle = obstacle;
SetProjection();
Initialize();
}
public GoalMonitor(Goal goal,
KAOSModel model,
HashSet <string> projection,
IStateInformationStorage storage,
TimeSpan monitoringDelay) : base(model, goal, monitoringDelay)
{
this.goal = goal;
this.storage = storage;
Initialize();
}
