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

Index - C

CTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
canonizeSubstTerm.Subsumption
checkCompleteTerm.Narrowing.Variants.Check, Term.Narrowing.Variants
checkMinimalTerm.Narrowing.Variants.Check, Term.Narrowing.Variants
compareSubstVariantTerm.Narrowing.Variants.Compute, Term.Narrowing.Variants
compareTermSubsTerm.Subsumption
composeTerm.Substitution, Term.Unification
composeVFreshTerm.Substitution, Term.Unification
computeVariantsTerm.Narrowing.Variants.Compute, Term.Narrowing.Variants
computeVariantsBoundTerm.Narrowing.Variants.Compute, Term.Narrowing.Variants
computeVariantsCheckTerm.Narrowing.Variants
ConTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
constsVTermTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
constTermTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
containsNoPrivateExceptTerm.LTerm, Term.Substitution, Term.Unification
containsPrivateTerm.LTerm, Term.Substitution, Term.Unification
CSymTerm.VTerm, Term.LTerm, Term.Substitution, Term.Unification
CtxtStRule 
1 (Type/Class)Term.SubtermRule
2 (Data Constructor)Term.SubtermRule
ctxtStRuleToRRuleTerm.SubtermRule