tamarin-prover-term-1.2.2: Term manipulation library for the tamarin prover.

Copyright(c) 2012 Benedikt Schmidt
LicenseGPL v3 (see LICENSE)
MaintainerBenedikt Schmidt <beschmi@gmail.com>
Safe HaskellNone
LanguageHaskell98

Term.UnitTests

Contents

Description

Unit tests for the functions dealing with term algebra and related notions.

Synopsis

Documentation

testEqual :: (Eq a, Show a) => String -> a -> a -> Test #

propSubtermReplace :: Ord a => Term a -> Position -> (Term a, Term a) #

tests :: FilePath -> IO Test #

All unification infrastructure unit tests.

allMaudeSig :: MaudeSig #

Maude signatures with all builtin symbols.

tevs :: [LVar] #

runTest :: WithMaude a -> IO a #

pair :: (Term a, Term a) -> Term a #

expo :: (Term a, Term a) -> Term a #

inv :: Term a -> Term a #

union :: Ord a => [Term a] -> Term a #

mult :: Ord a => [Term a] -> Term a #

one :: Term a #