public BoundedAssertion getMin ( ) { ICondition min = null ; Iterator < ICondition > conditions = getConditions ( ) ; for ( int i = 0 ; i < 1 ; i ++ ) min = conditions . next ( ) ; return ( BoundedAssertion ) min ; }
Returns the minimum condition .