public virtual Action ClosureBuildOne(int i, int seed) { return delegate() { var sat = new SAT_Random(); sat.Build (this.DB, new Random(seed)); this.forest[i] = new SAT_ApproxSearch(); this.forest[i].Build(sat); }; }
public static string ExecuteSATRandom(IndexArgumentSetup setup, string nick) { var idxname = String.Format ("{0}/Index.SAT-Random", nick); return Execute (setup, nick, idxname, (db) => { SAT_Random sat = new SAT_Random (); sat.Build (db, RandomSets.GetRandom()); return sat; }); }