Searched defs:terms (Results 1 – 1 of 1) sorted by relevance
269 public DnfFormula(IReadOnlyList<DnfTerm> terms) in DnfFormula()281 private static void GatherDnfTerms(AstNode node, List<DnfTerm> terms) in GatherDnfTerms()
