Term.Maude.Signature

Maude signatures

data MaudeSig

enableDH

enableBP

enableMSet

enableDiff

stFunSyms

stRules

funSyms

irreducibleFunSyms

rrulesForMaudeSig

noEqFunSyms

predefined maude signatures

dhMaudeSig

pairMaudeSig

asymEncMaudeSig

symEncMaudeSig

signatureMaudeSig

hashMaudeSig

msetMaudeSig

bpMaudeSig

minimalMaudeSig

enableDiffMaudeSig

extend maude signatures

addFunSym

addCtxtStRule

pretty printing

prettyMaudeSig