Exemplo n.º 1
0
 /**
  * @param cons
  * @param label
  * @param proportion
  * @param n
  * @param proportion2
  * @param n_2
  * @param tail
  */
 public AlgoZProportion2Test(
     Construction cons,
     String label,
     GeoNumeric proportion,
     GeoNumeric n,
     GeoNumeric proportion2,
     GeoNumeric n_2,
     GeoText tail) {
   this(cons, proportion, n, proportion2, n_2, tail);
   result.setLabel(label);
 }
Exemplo n.º 2
0
 /**
  * Proves the given statement and gives some details in a list.
  *
  * @param cons The construction
  * @param label Label for the output
  * @param root Input statement
  */
 public AlgoProveDetails(Construction cons, String label, GeoElement root) {
   this(cons, root);
   list.setLabel(label);
 }