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