Home
last modified time | relevance | path

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

/Renode-v1.15.3-c57714d/src/Renode/PlatformDescription/
DAccessConditionParser.cs201 Operand = operand; in NotNode()
206 if(Operand is AndNode and) in ToDnf()
211 if(Operand is OrNode or) in ToDnf()
216 if(Operand is NotNode not) in ToDnf()
218 return not.Operand.ToDnf(); in ToDnf()
225 public readonly AstNode Operand; field in Antmicro.Renode.PlatformDescription.AccessConditionParser.NotNode
308 conditions.Add(((ConditionNode)notNode.Operand).Negation); in GatherConditions()