2 instantiations of Not
Microsoft.CodeAnalysis.CSharp (2)
Binder\DecisionDagBuilder.cs (2)
2132Tests.AndSequence a => new Not(a), 2134Tests.One o => new Not(o),
11 references to Not
Microsoft.CodeAnalysis.CSharp (11)
Binder\DecisionDagBuilder.cs (11)
257case Tests.Not n: 258return Tests.Not.Create(scanAndSimplify(n.Negated)); 636return Tests.Not.Create(tests); 2050? AndSequence.Create(Not.Create(AndSequence.Create(relationCondition, relationEffect)), other) 2051: AndSequence.Create(OrSequence.Create(Not.Create(relationCondition), relationEffect), other); 2131Tests.Not n => n.Negated, // double negative 2141builder.Add(Not.Create(t)); 2160whenTrue = Not.Create(whenTestTrue); 2161whenFalse = Not.Create(whenTestFalse); 2163public override bool Equals(object? obj) => this == obj || obj is Not n && Negated.Equals(n.Negated); 2164public override int GetHashCode() => Hash.Combine(Negated.GetHashCode(), typeof(Not).GetHashCode());