Abstract-syntax
Abstract syntax of PFCSes.
Expressions are built out of
constants, variables, and field operations.
A basic constraint is an equality between expressions.
Constraints may be (conjunctively) grouped into named relations
(see definition),
which may be conjoined with equality constraints.
A system of constraints is a collection of named relations,
which are hierarchically organized,
and constraints that may reference the relations.
Subtopics
- Expression
- Fixtype of expressions.
- Definition
- Fixtype of definitions of relations.
- Constraint
- Fixtype of constraints.
- Definition-option
- Fixtype of optional definitions of relations.
- System
- Fixtype of systems of constraints.
- Abstract-syntax-operations
- Operations on the abstract syntax of PFCSes.
- Definition-list
- Fixtype of lists of definitions of relations.
- Expression-list
- Fixtype of lists of expressions.
- Constraint-list
- Fixtype of lists of constraints.
