Searched defs:CNFFormula (Results 1 – 1 of 1) sorted by relevance
88 struct CNFFormula { global() struct 91 LargestVarclang::dataflow::CNFFormula global() argument 101 Clausesclang::dataflow::CNFFormula global() argument 113 ClauseStartsclang::dataflow::CNFFormula global() argument 120 WatchedHeadclang::dataflow::CNFFormula global() argument 128 NextWatchedclang::dataflow::CNFFormula global() argument 132 Atomicsclang::dataflow::CNFFormula global() argument 136 KnownContradictoryclang::dataflow::CNFFormula global() argument 138 CNFFormulaclang::dataflow::CNFFormula CNFFormula() argument 155 addClauseclang::dataflow::CNFFormula addClause() argument 170 clauseSizeclang::dataflow::CNFFormula clauseSize() argument 176 clauseLiteralsclang::dataflow::CNFFormula clauseLiterals() argument