Build() public method

public Build ( MetricDB db, Random rand ) : void
db MetricDB
rand System.Random
return void
SAT Class Documentation
Ejemplo n.º 1
0
 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;
     });
 }
Ejemplo n.º 2
0
 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;
     });
 }