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

MaintainerBenedikt Schmidt <beschmi@gmail.com>
Safe HaskellSafe-Infered

Term.Builtin.Rules

Contents

Description

Builtin rewriting rules.

Synopsis

Rewriting rules

data RRule a Source

A rewrite rule.

Constructors

RRule a a 

Instances

dhRules :: Set (RRule LNTerm)Source

The rewriting rules for Diffie-Hellman. This is a presentation due to Lankford with the finite variant property.

xorRules :: Set (RRule LNTerm)Source

The rewriting rules for Xor.

msetRules :: Set (RRule LNTerm)Source

The rewriting rules for multisets.

pairRules, signatureRules, asymEncRules, symEncRules :: Set StRuleSource

The rewriting rules for standard subterm operators that are builtin.

Convenience export