protected CLVar var ( final int lit ) { final int idx = Math . abs ( lit ) ; assert 0 < idx && idx < this . vars . size ( ) ; return this . vars . get ( idx ) ; }
Returns the variable for a given literal .