Testeo de informacion a priori coherente: Dominio de la variable

[lmperez]

Desagrego a petición de Jorge los diferentes casos de testeo de información a priori coherente que subí en el ticket "Testeo de informacion a priori coherente"

El dominio de la variable es básicamente comprobar que el mínimo es menor que el máximo, y entre ellos está el valor inicial del muestreo. Teniendo en cuenta que pueden ser omitidos (+- infinito)

Os escribo debajo el código en bsrlayer:

//Logical intervals checking
Real li = Case(
  And(  BinEQ(sQry->min,?),
    Not(BinEQ(sQry->ini,?)),
    Not(BinEQ(sQry->max,?))), Real sQry->ini <= sQry->max,
  And(Not(BinEQ(sQry->min,?)),
          BinEQ(sQry->ini,?),
      Not(BinEQ(sQry->max,?))), Real sQry->min < sQry->max,

  And(Not(BinEQ(sQry->min,?)),
      Not(BinEQ(sQry->ini,?)),
          BinEQ(sQry->max,?)),  Real sQry->min <= sQry->ini,

  And(Not(BinEQ(sQry->min,?)),
      Not(BinEQ(sQry->ini,?)),
      Not(BinEQ(sQry->max,?))), Real And(sQry->min <  sQry->max,
                                         sQry->min <= sQry->ini,
                                         sQry->ini <= sQry->max),

  Real True,
  Real True
);