2 instantiations of Not
Microsoft.CodeAnalysis.CSharp (2)
Binder\DecisionDagBuilder.cs (2)
2288Tests.AndSequence a => new Not(a), 2290Tests.One o => new Not(o),
11 references to Not
Microsoft.CodeAnalysis.CSharp (11)
Binder\DecisionDagBuilder.cs (11)
260case Tests.Not n: 261return Tests.Not.Create(scanAndSimplify(n.Negated)); 639return Tests.Not.Create(tests); 2206? AndSequence.Create(Not.Create(AndSequence.Create(relationCondition, relationEffect)), other) 2207: AndSequence.Create(OrSequence.Create(Not.Create(relationCondition), relationEffect), other); 2287Tests.Not n => n.Negated, // double negative 2297builder.Add(Not.Create(t)); 2316whenTrue = Not.Create(whenTestTrue); 2317whenFalse = Not.Create(whenTestFalse); 2319public override bool Equals(object? obj) => this == obj || obj is Not n && Negated.Equals(n.Negated); 2320public override int GetHashCode() => Hash.Combine(Negated.GetHashCode(), typeof(Not).GetHashCode());