public void Build(SATSEQ sat) { this.DB = sat.DB; this.SEQ = sat.SEQ; this.COV = sat.COV; this.root = sat.root; this.COV_ZERO = sat.COV_ZERO; }
public SATSEQ_ApproxSearch(SATSEQ sat) : base(sat) { }
public SATSEQ(SATSEQ sat) { this.Build (sat); }