protected boolean markFrame ( final int lit ) { final int currentlevel = var ( lit ) . level ( ) ; final CLFrame frame = this . control . get ( currentlevel ) ; if ( frame . mark ( ) ) { return false ; } frame . setMark ( true ) ; this . frames . push ( currentlevel ) ; return true ; }
Marks the frame for a given literal s decision level .