NotNode (reference) in projects: Renode-v1.15.3-c57714d

Searched refs:NotNode (Results 1 – 1 of 1) sorted by relevance

/Renode-v1.15.3-c57714d/src/Renode/PlatformDescription/
D	AccessConditionParser.cs	112 select new NotNode(expr); 197 public class NotNode : AstNode class in Antmicro.Renode.PlatformDescription.AccessConditionParser 199 public NotNode(AstNode operand) in NotNode() method in Antmicro.Renode.PlatformDescription.AccessConditionParser.NotNode 209 … return new OrNode(new NotNode(and.Left).ToDnf(), new NotNode(and.Right).ToDnf()); in ToDnf() 214 return new AndNode(new NotNode(or.Left).ToDnf(), new NotNode(or.Right).ToDnf()); in ToDnf() 216 if(Operand is NotNode not) in ToDnf() 288 else if(node is AndNode \|\| node is ConditionNode \|\| node is NotNode) in GatherDnfTerms() 306 else if(node is NotNode notNode) in GatherConditions()