next up previous
Next: 14.7.7 Wiring/rulemix encoding.. Up: 14.7 Rule/wiring scheme: saving Previous: 14.7.5 Printing to a

14.7.6 Wiring/rulemix file names.

The binary files defining the wiring scheme, rule scheme or wiring/rule scheme combined are named as follows (and encoded as described in #4.7.7-8 below),

Wiring scheme: extension ``.w_s``, default file name ``my_wso.w_s``.

Rule scheme: extension ``.r_s``, default filename ``my_rso.r_s``

Combined wiring-rule scheme: extension ``.wrs``, default filename ``my_wrs.wrs``