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); }
public bool Contains(DoubleBoundingBox A) { for (int i = 0; i < axes.Length; ++i) { if (!A.axes[i].Subseteq(this.axes[i])) { return(false); } } return(true); }
public DoubleBoundingBox Clone() { DoubleBoundingBox res = new DoubleBoundingBox(); res.axes = new DoubleInterval[this.axes.Length]; for (int i = 0; i < res.axes.Length; ++i) { res.axes[i] = this.axes[i].Clone(); } return(res); }