tpdb-1.1.1: Data Type for Rewriting Systems

Safe HaskellSafe-Inferred
LanguageHaskell98

TPDB.Convert

Synopsis

Documentation

srs2trs :: SRS Identifier -> TRS Identifier Identifier Source

convert_srs_rule :: Rule [Identifier] -> Rule (Term Identifier Identifier) Source

trs2srs :: Eq v => TRS v s -> Maybe (SRS s) Source

convert_trs_rule :: Eq a => Rule (Term a s) -> Maybe (Rule [s]) Source

unspine :: v -> [s] -> Term v s Source

spine :: Term v s -> Maybe ([s], v) Source

success iff term consists of unary symbols and the lowest node is a variable