| Portability | GHC only |
|---|---|
| Maintainer | Benedikt Schmidt <beschmi@gmail.com> |
| Safe Haskell | None |
Theory.Tools.RuleVariants
Description
Variants of protocol rules.
- tmpdir :: FilePath
- variantsProtoRule :: MaudeHandle -> ProtoRuleE -> ProtoRuleAC
- computeVariantsCached :: LNTerm -> MaudeHandle -> [LNSubstVFresh]
Documentation
variantsProtoRule :: MaudeHandle -> ProtoRuleE -> ProtoRuleACSource
Compute the variants of a protocol rule. 1. Abstract away terms in facts with variables. 2. Compute variants of RHSs of equations. 3. Apply variant substitutions to equations to obtain DNF of equations. 4. Simplify rule.