Exemplo n.º 1
0
 public bool LessEqual(Mono.CodeContracts.Static.Lattices.FlatDomain <T> that)
 {
     throw null;
 }
Exemplo n.º 2
0
 public Mono.CodeContracts.Static.Lattices.FlatDomain <T> Widen(Mono.CodeContracts.Static.Lattices.FlatDomain <T> that)
 {
     throw null;
 }
Exemplo n.º 3
0
 public Mono.CodeContracts.Static.Lattices.FlatDomain <T> Join(Mono.CodeContracts.Static.Lattices.FlatDomain <T> that, bool widening, out bool weaker)
 {
     weaker = default(bool); throw null;
 }