コード例 #1
0
ファイル: Modulus.java プロジェクト: carolemieux/daikon
 protected double computeConfidence() {
   if (modulus == 1) return Invariant.CONFIDENCE_NEVER;
   if (modulus == 0) {
     return Invariant.CONFIDENCE_UNJUSTIFIED;
   }
   double probability_one_elt_modulus = 1 - 1.0 / modulus;
   // return 1 - Math.pow(probability_one_elt_modulus, ppt.num_mod_samples());
   return 1 - Math.pow(probability_one_elt_modulus, ppt.num_samples());
 }
コード例 #2
0
  protected double computeConfidence() {
    // num_elt_values() would be more appropriate
    // int num_values = ((PptSlice2) ppt).num_elt_values();
    int num_values = ppt.num_samples();
    if (num_values == 0) {
      return Invariant.CONFIDENCE_UNJUSTIFIED;
    } else {

      return 1 - Math.pow(.5, num_values);
    }
  }
コード例 #3
0
  protected double computeConfidence() {

    return 1 - Math.pow(.5, ppt.num_samples());
  }
コード例 #4
0
 protected double computeConfidence() {
   return 1 - Math.pow(.9, elts);
 }