Data Property: isInit
http://www.ifi.unizh.ch/ddis/evoont/2008/11/isInit
Annotations
- comment: "denotes wheter a BehaviouralEntity is a program starting point, e.g., main() method"
Property Characteristics (and other axioms)
- functional (isInit)
Domains
Ranges
- boolean