Redlog Documentation Center

This new documentation in under construction. For functions not covered yet, please use the old documentation.

documentationgeneric

Reference Manual — Generic Functions for All Domains

Selecting the Current Domain

Constructing Formulas

Counting and Extracting Parts of Formulas

Global Switches

⊕ = on by default, ⊖ = off by default