Alloy Documentation
latest

Contents:

  • Introduction
  • Language
    • Signatures
    • Sets and Relations
    • Expressions and Constraints
    • Predicates and Functions
    • Commands
    • Modules
  • Tooling
  • Modules
  • Techniques
Alloy Documentation
  • Docs »
  • Language
  • Edit on GitHub

LanguageΒΆ

  • Signatures
    • Relations
    • Signature Multiplicity
    • Subtypes
    • Enums
  • Sets and Relations
    • Sets
    • Relations
  • Expressions and Constraints
    • Expressions
    • Constraints
  • Predicates and Functions
    • Predicates
    • Functions
    • Facts
    • Macros
  • Commands
    • run
    • check
    • Scopes
  • Modules
    • Simple Modules
    • Parameterized Modules
    • Creating Modules
Next Previous

© Copyright 2020 Revision d525b9a3.

Built with Sphinx using a theme provided by Read the Docs.