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