Convenience-constructors
Utilities to convniently construct PFCS abstract syntax.
These functions and macros have short and evocative names,
to support the concise and readable construction of (constituents of) rules
in the abstract syntax.
Subtopics
- Constraint/constraintlist-p
- Recognize constraints and lists of constraints.
- Pfdef
- Construct a definition with zero or more constraints.
- Constraint/constraintlist-listp
- Recognize lists of constraints and lists of constraints.
- Yyyjoin
- Spread a binary function over two or more arguments.
- Pf+
- Construct an addition of any number of expressions.
- Pf*
- Construct a multiplication of any number of expressions.
- Pfmon
- Construct a monomial, i.e. a product of a constant by a variable.
- Pf=
- Construct an equality constraint.
- Pfcall
- Construct a relation call constraint.
- Pfvar
- Construct a variable expression.
- Pfconst
- Construct a constant expression.
