HOL-OCL
/
ocl-examples
Archived
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Cleanup: outdated commented stuff.

This commit is contained in:
Achim D. Brucker 2016-10-05 08:00:37 +01:00
parent f014b94444
commit ac496284b5
1 changed files with 0 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
mini_company/mini_company.ocl
View File

@ -37,17 +37,5 @@ package companyPackage
context Employee
inv atLeastOneEmployee: self.allInstances()->notEmpty()
-- context Manager
-- def: closureWorksFor(S:Set(Manager)) : Set(Manager) =
-- worksFor->union((worksFor - S)->collect(m |
-- m.closureWorksFor(S->union(worksFor))))
-- context Manager
-- inv: not self.closureWorksFor(Set{})->includes(self)
-- worksFor->union((worksFor - S)->closureWorksFor(S->union(worksFor)))
endpackage