Searched refs:AreUnmodified (Results 1 – 1 of 1) sorted by relevance
| /dports/lang/mono/mono-5.10.1.57/mcs/class/Mono.CodeContracts/Mono.CodeContracts.Static.Analysis.HeapAnalysis/ | ||
| H A D | Domain.cs | 1014 private bool AreUnmodified (IEnumerable<SymValue> values) in AreUnmodified() method in Mono.CodeContracts.Static.Analysis.HeapAnalysis.Domain |