Pantagruel v0.3.0 API Reference

Modules

Boolean Algebra modelling. Implementing simple boolean logic as a tree of operations, implement term replacement and reduction over the tree

An interpreter for the Pantagruel language

Logic for lifting a Pantagruel AST into a Boolean algebra. Traverses a syntax tree, calling BoolAlg conversions on their equivalent Pantagruel nodes

Logic to combine the lines of a Pantagruel program into a single Boolean expression

The evaluation environment for a Pantagruel program

Evaluation of a Pantagruel program

Takes an evaluated Pantagruel program and generates a formatted text representation of it

Provides the functionality for loading Pantagruel files, making them available for import

String processing to prepare for tokenizing

A domain in an evaluated Pantagruel program, with a name and whatever domain it is an alias for (or itself, otherwise)

A function in an evaluated Pantagruel program, either as introduced in a header declaration or referred to as an anonymous function inside of a section body

A bound value in an evaluated Pantagruel program, with a name and the domain it is in

Exceptions