protected Tristate value ( int lit ) { return sign ( lit ) ? Tristate . negate ( this . v ( lit ) . assignment ( ) ) : this . v ( lit ) . assignment ( ) ; }
Returns the assigned value of a given literal .