docs: public double[] getCTs() {
  		double[] ret = this.createCTVector();
  		TreeSet<TrajectoryEnvelope> rets = this.getGroundEnvelopes();
  		int counter = 0;
  		for (TrajectoryEnvelope te : rets) {
  			ret[counter] = (double)(te.getTemporalVariable().getEST())/RESOLUTION;
  			ret[counter+te.getPathLength()-1] = (double)(te.getTemporalVariable().getEET())/RESOLUTION;
  			counter += te.getPathLength();
  		}
  		return ret;
  	}