id	summary	reporter	owner	description	type	status	priority	milestone	component	resolution	keywords	cc
76	Testeo de informacion a priori coherente: Dominio de la variable	lmperez	Pedro Gea	"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
);"	defect	new	critical		Definición de Parámetros