identifier | Theory.Text.Parser.Token |
Iff | Theory.Model.Formula, Theory.Model, Theory |
imageOf | Theory.Model, Theory |
imageOfVFresh | Theory.Model, Theory |
Imp | Theory.Model.Formula, Theory.Model, Theory |
implicitFunSig | Theory.Model, Theory |
ImpossibleChain | Theory.Constraint.Solver.Contradictions |
IncompatibleEqs | Theory.Constraint.Solver.Contradictions |
IncompleteProof | Theory.Proof, Theory |
IncrementalProof | Theory.Proof, Theory |
indexedIdentifier | Theory.Text.Parser.Token |
Induction | Theory.Constraint.Solver.ProofMethod, Theory.Constraint.Solver, Theory.Proof, Theory |
InductionHint | Theory.Constraint.Solver.Types, Theory.Constraint.Solver, Theory.Proof, Theory |
InFact | Theory.Model.Fact, Theory.Model, Theory |
inFact | Theory.Model.Fact, Theory.Model, Theory |
insertAction | Theory.Constraint.Solver.Reduction |
insertAtom | Theory.Constraint.Solver.Reduction |
insertChain | Theory.Constraint.Solver.Reduction |
insertEdges | Theory.Constraint.Solver.Reduction |
insertFormula | Theory.Constraint.Solver.Reduction |
insertFreshNode | Theory.Constraint.Solver.Reduction |
insertFreshNodeConc | Theory.Constraint.Solver.Reduction |
insertGoal | Theory.Constraint.Solver.Reduction |
insertLemmas | Theory.Constraint.System, Theory.Constraint.Solver, Theory.Proof, Theory |
insertLess | Theory.Constraint.Solver.Reduction |
insertPaths | Theory.Proof, Theory |
int | Theory.Text.Pretty |
integer | Theory.Text.Pretty |
interpretAbstractly | Theory.Tools.AbstractInterpretation |
IntrInfo | Theory.Model.Rule, Theory.Model, Theory |
IntrRuleAC | Theory.Model.Rule, Theory.Model, Theory |
IntrRuleACInfo | Theory.Model.Rule, Theory.Model, Theory |
InvariantLemma | Theory |
invSymString | Theory.Model, Theory |
IRecvRule | Theory.Model.Rule, Theory.Model, Theory |
irreducibleFunSyms | Theory.Model, Theory |
isActionAtom | Theory.Model.Atom, Theory.Model, Theory |
isActionGoal | Theory.Constraint.System.Constraints, Theory.Constraint.System, Theory.Constraint.Solver, Theory.Proof, Theory |
isAllGuarded | Theory.Constraint.System.Guarded, Theory.Constraint.System.Constraints, Theory.Constraint.System, Theory.Constraint.Solver, Theory.Proof, Theory |
isChainGoal | Theory.Constraint.System.Constraints, Theory.Constraint.System, Theory.Constraint.Solver, Theory.Proof, Theory |
isCoerceRule | Theory.Model.Rule, Theory.Model, Theory |
isConjunction | Theory.Constraint.System.Guarded, Theory.Constraint.System.Constraints, Theory.Constraint.System, Theory.Constraint.Solver, Theory.Proof, Theory |
IsConst | Theory.Model, Theory |
isConstrRule | Theory.Model.Rule, Theory.Model, Theory |
isDEMapRule | Theory.Tools.IntruderRules |
isDestrRule | Theory.Model.Rule, Theory.Model, Theory |
isDExpRule | Theory.Tools.IntruderRules |
isDisjGoal | Theory.Constraint.System.Constraints, Theory.Constraint.System, Theory.Constraint.Solver, Theory.Proof, Theory |
isDisjunction | Theory.Constraint.System.Guarded, Theory.Constraint.System.Constraints, Theory.Constraint.System, Theory.Constraint.Solver, Theory.Proof, Theory |
isDPMultRule | Theory.Tools.IntruderRules |
isEMap | Theory.Model, Theory |
isEmpty | Theory.Text.Pretty |
ISendRule | Theory.Model.Rule, Theory.Model, Theory |
isEqAtom | Theory.Model.Atom, Theory.Model, Theory |
isExGuarded | Theory.Constraint.System.Guarded, Theory.Constraint.System.Constraints, Theory.Constraint.System, Theory.Constraint.Solver, Theory.Proof, Theory |
isFreshRule | Theory.Model.Rule, Theory.Model, Theory |
isFreshVar | Theory.Model, Theory |
isInTrace | Theory.Constraint.System, Theory.Constraint.Solver, Theory.Proof, Theory |
isIntruderRule | Theory.Model.Rule, Theory.Model, Theory |
isInverse | Theory.Model, Theory |
isIRecvRule | Theory.Model.Rule, Theory.Model, Theory |
isISendRule | Theory.Model.Rule, Theory.Model, Theory |
isKDFact | Theory.Model.Fact, Theory.Model, Theory |
isKFact | Theory.Model.Fact, Theory.Model, Theory |
isKUFact | Theory.Model.Fact, Theory.Model, Theory |
isLast | Theory.Constraint.System, Theory.Constraint.Solver, Theory.Proof, Theory |
isLastAtom | Theory.Model.Atom, Theory.Model, Theory |
isLessAtom | Theory.Model.Atom, Theory.Model, Theory |
isLinearFact | Theory.Model.Fact, Theory.Model, Theory |
isMsgVar | Theory.Model, Theory |
isNullaryPublicFunction | Theory.Model, Theory |
isPair | Theory.Model, Theory |
isPersistentFact | Theory.Model.Fact, Theory.Model, Theory |
isPremiseGoal | Theory.Constraint.System.Constraints, Theory.Constraint.System, Theory.Constraint.Solver, Theory.Proof, Theory |
isPrivateFunction | Theory.Model, Theory |
isProduct | Theory.Model, Theory |
isProtoFact | Theory.Model.Fact, Theory.Model, Theory |
isRenaming | Theory.Model, Theory |
isSafetyFormula | Theory.Constraint.System.Guarded, Theory.Constraint.System.Constraints, Theory.Constraint.System, Theory.Constraint.Solver, Theory.Proof, Theory |
isSimpleTerm | Theory.Model, Theory |
isSplitGoal | Theory.Constraint.System.Constraints, Theory.Constraint.System, Theory.Constraint.Solver, Theory.Proof, Theory |
isStandardActionGoal | Theory.Constraint.System.Constraints, Theory.Constraint.System, Theory.Constraint.Solver, Theory.Proof, Theory |
isTrivialProtoVariantAC | Theory.Model.Rule, Theory.Model, Theory |
isUnion | Theory.Model, Theory |
IsVar | Theory.Model, Theory |
isVar | Theory.Model, Theory |