public bool Contains(FPIntegerBoundingBox A)
{
for (int i = 0; i < axes.Length; ++i)
{
if (!A.axes[i].Subseteq(this.axes[i]))
{
return(false);
}
}
return(true);
}
public FPIntegerBoundingBox Clone()
{
FPIntegerBoundingBox res = new FPIntegerBoundingBox();
res.axes = new FPIntegerInterval[this.axes.Length];
for (int i = 0; i < res.axes.Length; ++i)
{
res.axes[i] = this.axes[i].Clone();
}
return(res);
}
public State(int step, string[] continuousNames, DoubleBoundingBox continuousState, string[] discreteNames, FPIntegerBoundingBox discreteState)
{
this.step = step;
this.continuousNames = continuousNames;
this.discreteNames = discreteNames;
this.continuousState = continuousState.Clone();
this.discreteState = discreteState.Clone();
this.flowpipe = new Flowpipe(this);
}
