public BoundedAssertion getMax ( ) { ICondition max = null ; Iterator < ICondition > conditions = getConditions ( ) ; for ( int i = 0 ; i < 2 ; i ++ ) max = conditions . next ( ) ; return ( BoundedAssertion ) max ; }
Returns the maximum condition .