Skip to:

  1. Skip to Jira Navigation
  2. Skip to Side Navigation
  3. Skip to Main Content

typos found in ITEM_TABLE class description

Description

In data_structure_im.pdf page 18, ITEM_TABLE class description, invariants section: currently it is:

Valid_structure: rows.forall(items.forall(instance_of("ELEMENT")))

It should be:
Valid_structure: rows.forall(items.forall(instance_of("CLUSTER")))

Activity

Show:

Thomas Beale 
August 11, 2008 at 10:54 PM

Fixed

Details

Reporter

Components

Priority

Created April 16, 2008 at 7:17 AM
Updated August 11, 2008 at 10:54 PM
Resolved August 11, 2008 at 10:54 PM