2 instantiations of Not
Microsoft.CodeAnalysis.CSharp (2)
Binder\DecisionDagBuilder.cs (2)
2284Tests.AndSequence a => new Not(a), 2286Tests.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); 2202? AndSequence.Create(Not.Create(AndSequence.Create(relationCondition, relationEffect)), other) 2203: AndSequence.Create(OrSequence.Create(Not.Create(relationCondition), relationEffect), other); 2283Tests.Not n => n.Negated, // double negative 2293builder.Add(Not.Create(t)); 2312whenTrue = Not.Create(whenTestTrue); 2313whenFalse = Not.Create(whenTestFalse); 2315public override bool Equals(object? obj) => this == obj || obj is Not n && Negated.Equals(n.Negated); 2316public override int GetHashCode() => Hash.Combine(Negated.GetHashCode(), typeof(Not).GetHashCode());