Searched refs:constantLookup (Results 1 – 1 of 1) sorted by relevance
51 private IImmutableMap<SymValue, SymFunction> constantLookup; field in Mono.CodeContracts.Static.Analysis.HeapAnalysis.Domain64 this.constantLookup = constantMap; in Domain()77 this.constantLookup = ImmutableIntKeyMap<SymValue, SymFunction>.Empty (SymValue.GetUniqueKey); in Domain()153 …return new Domain (this.egraph.Clone (), this.constantLookup, this.unmodifiedSinceEntry, this.unmo… in Clone()304 this.constantLookup = this.constantLookup.Add (sv, symFunction); in ConstantValue()682 SymFunction c = this.constantLookup [source]; in IsConstant()