Term.Maude.Process

Handle to a maude process

data MaudeHandle

startMaude

getMaudeStats

Unification using Maude

unifyViaMaude

Matching using Maude

matchViaMaude

Normalization using Maude

normViaMaude

Managing the persistent Maude process

type WithMaude