ADS

Getting Started

Algorithms and Data Structures
Build and test
Use

User Guide

Layout
Where each thing comes from
Beyond the book
From The Art of Computer Programming
From Ferragina’s algorithm engineering
The exercises and the exams of the course
Engineered structures
Sorting
Design by contract
The standard interface
Further reading

API Reference

API Reference
- Full API
  - Namespaces
  - Classes and Structs
  - Enums
  - Unions
  - Functions
  - Variables
  - Defines
  - Typedefs

Project

Release Notes

ADS

API Reference
Define ADS_POST
Edit on GitHub

Define ADS_POST

Defined in File Contract.h

Define Documentation

ADS_POST(cond): a postcondition, checked from level 2

Previous Next

© Copyright 2026, Donato Meoli.

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