CADiZ

Reference manual / Non-standard extensions to Z / Schema postcondition


The schema postcondition operator is provided for symmetry with the schema precondition operator. However, Z does not permit a useful definition: this operator behaves as an identity function on schemas.

Expression = post , Expression ;

The LATEX mark-up of post is \post. The troff mark-up of post is zpost.


IT 4-Jan-2002