= AADL Model Processing Library =

This library (AADLModel.sbp) contains a set of prolog rules to access and process an [wiki:aadlparser AADL declarative model] defined by prolog facts.

[=#index]
{{{#!table style="border:2"
  {{{#!tr style="text-align:center; margin:auto"
    {{{#!th style="width:120px"
    '''Index'''
    }}}
    {{{#!td style="background:#ffd; width:80px"
    [#AADLInstances Instance Model]
    }}}
    {{{#!td style="background:#ffd; width:80px"
    [#AADLProperties Properties]
    }}}
    {{{#!td style="background:#ffd; width:80px"
    [#AADLReferences Cross References]
    }}}
    {{{#!td style="background:#ffd; width:80px"
    [#AADLBehavior Behavior Annex]
    }}}
  }}}
}}}
----
=== AADL Instances ===
 * [wiki:aadl/aadlutilities/isAADLConnection isAADLConnection/12]
 * [wiki:aadl/aadlutilities/isAADLRoot isAADLRoot/6]
 * [wiki:aadl/aadlutilities/isAADLInstance isAADLInstance/12]
 * [wiki:aadl/aadlutilities/isAADLBinding isAADLBinding/7]
 * [wiki:aadl/aadlutilities/isAADLProcBinding isAADLProcBinding/3]
 * [wiki:aadl/aadlutilities/isAADLBusBinding isAADLBusBinding/3]
 * [wiki:aadl/aadlutilities/isAADLMemBinding isAADLMemBinding/3]
 * [wiki:aadl/aadlutilities/isAADLSlot isAADLSlot/5]
 * [wiki:aadl/aadlutilities/isAADLImpAs isAADLImpAs/4]
=== AADL Properties ===
 * [wiki:aadl/aadlutilities/getProperty getProperty/10]
 * [wiki:aadl/aadlutilities/instanceProperty instanceProperty/7]
 * [wiki:aadl/aadlutilities/implementationProperty implementationProperty/5]
 * [wiki:aadl/aadlutilities/typeProperty typeProperty/4]
 * [wiki:aadl/aadlutilities/inheritedProperty inheritedProperty/7]
 * [wiki:aadl/aadlutilities/allowsInheritance allowsInheritance/1]
=== AADL References ===
 * [wiki:aadl/aadlutilities/splitReference splitReference/4]
 * [wiki:aadl/aadlutilities/getReference5 getReference/5]
 * [wiki:aadl/aadlutilities/getReference6 getReference/6]
 * [wiki:aadl/aadlutilities/findReference5 findReference/5]
 * [wiki:aadl/aadlutilities/findReference6 findReference/6]
 * [wiki:aadl/aadlutilities/allReferences allReferences/10]
 * [wiki:aadl/aadlutilities/matchReference matchReference/7]
 * [wiki:aadl/aadlutilities/provideReference provideReference/6]
=== AADL Behavior ===