}
if ( e instanceof E_NotOneOf )
{
// ?x NOT IN (a,b) ===> (?x != a) && (?x != b)
// ?x NOT IN () ===> TRUE (or nothing)
E_NotOneOf exprNotOneOf = (E_NotOneOf)e ;
Expr x = exprNotOneOf.getLHS() ;
if ( exprNotOneOf.getRHS().size() == 0 )
exprList2.add(TRUE) ;
else
{
for ( Expr sub : exprNotOneOf.getRHS() )
exprList2.add(new E_NotEquals(x, sub)) ;
}
continue ;
}