AADL Model Processing Library
This library (AADLModel.sbp) contains a set of prolog rules to access and process an AADL declarative model defined by prolog facts.
Index |
---|
AADL Instances
- isAADLConnection/12
- isAADLRoot/6
- isAADLInstance/12
- isAADLBinding/7
- isAADLProcBinding/3
- isAADLBusBinding/3
- isAADLMemBinding/3
- isAADLSlot/5
- isAADLImpAs/4
AADL Properties
- getProperty/10
- instanceProperty/7
- implementationProperty/5
- typeProperty/4
- inheritedProperty/7
- allowsInheritance/1
AADL References
- splitReference/4
- getReference/5
- getReference/6
- findReference/5
- findReference/6
- allReferences/10
- matchReference/7
- provideReference/6
AADL Behavior
Last modified
2 years ago
Last modified on Apr 29, 2021 11:15:09 AM
Note:
See TracWiki
for help on using the wiki.