private int remainingVars ( ) { int res = maxvar ( ) ; res -= this . stats . varsFixed ; res -= this . stats . varsEquivalent ; res -= this . stats . varsEliminated ; return res ; }
Returns the number of remaining variables without fixed and eliminated .