public BoundedAssertion getMin()
    {
    ICondition min = null;
    Iterator<ICondition> conditions = getConditions();
    for( int i = 0; i < 1; i++) min = conditions.next();
    return (BoundedAssertion) min;
    }
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.