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