In a message dated Thu, 3 Oct 2002, Michael G Schwern writes: > On Thu, Oct 03, 2002 at 03:59:08PM -0400, Mike Lambert wrote: > > With pre/post conditions, a subclass is allowed to weaken the > > preconditions or strengthen the postconditions. > > How exactly does one "weaken" a precondition?
You weaken a precondition by adding ORs; you strengthen a postcondition by adding ANDs. Trey
