dbaseAssumptions.lsl

dbaseAssumptions.lsl

dbaseAssumptions: trait
  includes Set(employee for E, empset for C)
  gender enumeration of MALE, FEMALE, gender_ANY
  job enumeration of MGR, NONMGR, job_ANY
  employee tuple of ssNum: int,
                    name: employee_name,
                    salary: int,
                    gen: gender,
                    j: job

Return LCLint Home Page David Evans
University of Virginia, Computer Science
evans@cs.virginia.edu