/// <summary>
/// Method returns many observations as one in form: "(ob1) && (ob2)..."
/// </summary>
/// <param name="time"></param>
/// <returns></returns>
internal ScenarioObservationRecord GetObservationFromTime(int time)
{
ScenarioObservationRecord observation = new ScenarioObservationRecord(new SimpleLogicExpression(""), time);
foreach (ScenarioObservationRecord obs in this.observations)
{
if (obs.Time.Equals(time))
{
observation.Expr.AddExpression(obs.Expr);
}
}
return(observation);
}
public void addObservation(ILogicExpression expr, int time)
{
ScenarioObservationRecord OBS = new ScenarioObservationRecord(expr, time);
observations.Add(OBS);
}
public void addObservation(ILogicExpression expr, int time)
{
ScenarioObservationRecord OBS = new ScenarioObservationRecord(expr, time);
observations.Add(OBS);
}
/// <summary>
/// Method returns many observations as one in form: "(ob1) && (ob2)..."
/// </summary>
/// <param name="time"></param>
/// <returns></returns>
internal ScenarioObservationRecord GetObservationFromTime(int time)
{
ScenarioObservationRecord observation = new ScenarioObservationRecord(new SimpleLogicExpression(""), time);
foreach (ScenarioObservationRecord obs in this.observations)
{
if (obs.Time.Equals(time))
{
observation.Expr.AddExpression(obs.Expr);
}
}
return observation;
}
