Searched refs:Formula (Results 1 – 3 of 3) sorted by relevance
258 Formula.addClause(posLit(GetVar(Val))); in buildBooleanFormula()358 Formula.addClause(posLit(Var)); in buildBooleanFormula()378 return Formula; in buildBooleanFormula()384 BooleanFormula Formula; member in clang::dataflow::WatchedLiteralsSolverImpl437 : Formula(buildBooleanFormula(Vals)), LevelVars(Formula.LargestVar + 1), in WatchedLiteralsSolverImpl()438 LevelStates(Formula.LargestVar + 1) { in WatchedLiteralsSolverImpl()551 for (auto &Atomic : Formula.Atomics) { in buildSolution()588 Formula.WatchedHead[FalseLit] = NullClause; in updateWatchedLiterals()612 Formula.NextWatched[FalseLitWatcher] = Formula.WatchedHead[NewWatchedLit]; in updateWatchedLiterals()656 return Formula.WatchedHead[Lit] != NullClause; in isWatched()[all …]
341 struct Formula { struct379 Formula() = default;553 bool Formula::unscale() { in unscale()3407 Formula F; in InsertInitialFormula()3418 Formula F; in InsertSupplementalFormula()3707 Formula F = Base; in GenerateReassociationsImpl()3838 Formula F = Base; in GenerateSymbolicOffsetsImpl()3868 Formula F = Base; in GenerateConstantOffsetsImpl()3922 Formula F = Base; in GenerateConstantOffsetsImpl()4005 Formula F = Base; in GenerateICmpZeroScales()[all …]
9 ; Formula verification:105 ; Formula verification:228 ; Formula verification:324 ; Formula verification: