Table of Contents

1. Introduction
2. Functions

2.1 ADD ITE Functions
2.2 Bridge Function for ADDs
2.3 Generelized Cofactor functions
2.4 Composition functions for ADDs
2.5 Miscellaneous functions

A. Index

A.1 Datatypes index
A.2 Functions Index