|
public Build ( MetricDB db, |
||
| db | MetricDB | |
| rand | ||
| 리턴 | void | |
public static string ExecuteSATApprox(IndexArgumentSetup setup, string nick)
{
var idxname = String.Format ("{0}/Index.SATApprox", nick);
return Execute (setup, nick, idxname, (db) => {
var sat = new SAT();
sat.Build(db, new Random());
var satapprox = new SAT_ApproxSearch();
satapprox.Build(sat);
return satapprox;
});
}
public static string ExecuteSAT(IndexArgumentSetup setup, string nick)
{
var idxname = String.Format ("{0}/Index.SAT-Legacy", nick);
return Execute (setup, nick, idxname, (db) => {
var sat = new SAT ();
sat.Build (db, RandomSets.GetRandom());
return sat;
});
}
