Previous Up Next

Interface for module Sanalysis

The module collects a number of (simple) static soundness checks, mostly predicates over transducer.
openAbsynt

valis_lhstermbool

valis_rhstermbool

valis_rule:(αterm)נ(αterm)→bool

valis_welltypedsignature→αtermbool

valis_wellformedmttbool

valis_wordtransducermttbool

valis_linearmttbool


Previous Up Next