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(); }