:hide-toc:

.. _structural-topics:

*************************************
Structural modelling advanced topics
*************************************

This chapter presents some advanced topics relevant for structural modelling. These topics build on the file system example model of the :ref:`structural-modeling` chapter. 

.. card-carousel:: 2

   .. card:: Base model for the topics
      :link: https://github.com/practicalalloy/models/tree/2024-02-28/structural-modeling/verifying-assertions

      :octicon:`file-badge` Alloy model 
      ^^^
      Download and explore the base model that will be used for the advanced topics.   


.. toctree::
   :hidden:
   
   topics/subset-signatures/index
   topics/enumerations/index
   topics/commands/index
   topics/visualization/index
   topics/nary-relations/index
   topics/evaluator/index
   topics/bestiary/index
   topics/type-system/index
   topics/modules/index
   topics/ordering/index
   topics/relational-logic/index
   topics/model-finding/index
   topics/testing-instances/index
   topics/recursion/index
   topics/integers/index
   topics/signature-facts/index