Previous Up Next

Interface for module Io

Module for input/output. Currently, it supports to input transducers from single files and output them on standard-out or another file.

The print-function are all output on standard-out. They use the layouting facilities of the pretty-printer.4


openAbsynt

valpp_qindex:qindexstring

valstring_of_qindex:qindexstring

valstring_of_qstarindex:qstarindexstring

valpp_state:qindexstatestring

valprint_ssignature:ssignatureunit

valprint_intlist:intlistunit
valprint_intlistlist:intlistlistunit

valprint_aterm:(α→string)→αtermunit
valprint_term:qindextermunit
valprint_starterm:qstarindextermunit

valprint_aterms:(α→string)→(αterm)listunit
valprint_terms:(qindexterm)listunit
valprint_arule:(α→string)→αruleunit
valprint_rule:qindexruleunit

valprint_arules:(α→string)→(αrule)listunit
valprint_rules:(qindexrule)listunit
valprint_transition:(qindexrule)→unit
valprint_transitions:(qindexrule)listunit

valprint_startransition:(qstarindexrule)→unit
valprint_startransitions:(qstarindexrule)listunit

valinput_tt:stringAbsynt.qindexAbsynt.mtt

valprint_tt:Absynt.qindexAbsynt.mttunit

valprint_qequations:((intlist)נ(intlist))listunit


Previous Up Next