Searched refs:FromDnfTree (Results 1 – 1 of 1) sorted by relevance
| /Renode-v1.15.3-c57714d/src/Renode/PlatformDescription/ | ||
| D | AccessConditionParser.cs | 21 return DnfFormula.FromDnfTree(ParseExpression(condition).ToDnf()); in ParseCondition() |