TooCloseTo -> t2 in t1.tooCloseTo } inv

Subject: TooCloseTo -> t2 in t1.tooCloseTo } inv
From: Jeanne Dennis (hijeane@mediaone.net)
Date: Tue Dec 18 2001 - 13:19:43 EST

New Message
• Reply
• Next message: Foundations of Computing: "logic faculty position"
• Previous message: Mitchell Wand: "Thesis defense: Igor Siveroni, Friday 12/14, 10am."
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

CurrentTrack in s1.tracks &&
                        f in s1.controls && f in s1.communicates &&
                        f.nextTrack in s2.tracks && f in s2.communicates
        }

        cond noSeriousConflict {
                no f1, f2: Flight | f1 != f2 &&
                         (f1.currentTrack in f2.currentTrack.tooCloseTo)
        }

        op reasonableController {
                all s: Sector | all f1, f2: (s.communicates + s.warned) |
                        f1 != f2 ->
                                ((f1 in s.controls || f2 in s.controls) ->
                                        f1.nextTrack not in f2.nextTrack.tooCloseTo)
                        &&
                                 (f1 not in s.controls && f2 not in s.controls) <->
                                        f2 in f1.~controls.

• application/octet-stream attachment: Flight.exe

• application/octet-stream attachment: D2_-_4__2_.doc

• Next message: Foundations of Computing: "logic faculty position"
• Previous message: Mitchell Wand: "Thesis defense: Igor Siveroni, Friday 12/14, 10am."
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Tue Dec 18 2001 - 13:21:28 EST