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

);