Home
last modified time | relevance | path

Searched refs:Solution (Results 1 – 25 of 30) sorted by relevance

12

/freebsd/contrib/llvm-project/clang/include/clang/Analysis/FlowSensitive/
H A DSolver.h50 static Result Satisfiable(llvm::DenseMap<Atom, Assignment> Solution) { in Satisfiable()
51 return Result(Status::Satisfiable, std::move(Solution)); in Satisfiable()
69 return Solution; in getSolution()
74 std::optional<llvm::DenseMap<Atom, Assignment>> Solution) in Result()
75 : SATCheckStatus(SATCheckStatus), Solution(std::move(Solution)) {} in Result()
78 std::optional<llvm::DenseMap<Atom, Assignment>> Solution; member
/freebsd/contrib/llvm-project/clang/lib/Analysis/FlowSensitive/
H A DDebugSupport.cpp66 if (auto Solution = R.getSolution()) { in operator <<() local
68 Solution->begin(), Solution->end()}; in operator <<()
H A DWatchedLiteralsSolver.cpp248 llvm::DenseMap<Atom, Solver::Result::Assignment> Solution; in buildSolution() local
253 Solution[Atomic.second] = in buildSolution()
258 return Solution; in buildSolution()
/freebsd/contrib/llvm-project/llvm/include/llvm/CodeGen/PBQP/
H A DSolution.h26 class Solution {
33 Solution() = default;
H A DReductionRules.h180 Solution backpropagate(GraphT& G, StackT stack) { in backpropagate()
185 Solution s; in backpropagate()
/freebsd/contrib/llvm-project/llvm/lib/CodeGen/
H A DRegAllocPBQP.cpp175 const PBQP::Solution &Solution,
717 const PBQP::Solution &Solution, in mapPBQPToRegAlloc() argument
735 unsigned AllocOpt = Solution.getSelection(NId); in mapPBQPToRegAlloc()
871 PBQP::Solution Solution = PBQP::RegAlloc::solve(G); in runOnMachineFunction() local
872 PBQPAllocComplete = mapPBQPToRegAlloc(G, Solution, VRM, *VRegSpiller); in runOnMachineFunction()
/freebsd/contrib/llvm-project/llvm/include/llvm/CodeGen/
H A DRegAllocPBQP.h292 Solution solve() { in solve()
294 Solution S; in solve()
520 inline Solution solve(PBQPRAGraph& G) { in solve()
522 return Solution(); in solve()
/freebsd/contrib/unifdef/win32/
H A Dunifdef.sln2 Microsoft Visual Studio Solution File, Format Version 11.00
/freebsd/contrib/bc/vs/
H A Dbc.sln2 Microsoft Visual Studio Solution File, Format Version 12.00
H A Dbcl.sln2 Microsoft Visual Studio Solution File, Format Version 12.00
/freebsd/sys/contrib/libsodium/
H A Dlibsodium.sln2 Microsoft Visual Studio Solution File, Format Version 12.00
/freebsd/sys/contrib/libsodium/builds/msvc/vs2012/
H A Dlibsodium.sln2 Microsoft Visual Studio Solution File, Format Version 12.00
/freebsd/sys/contrib/libsodium/builds/msvc/vs2015/
H A Dlibsodium.sln2 Microsoft Visual Studio Solution File, Format Version 12.00
/freebsd/sys/contrib/libsodium/builds/msvc/vs2017/
H A Dlibsodium.sln2 Microsoft Visual Studio Solution File, Format Version 12.00
/freebsd/sys/contrib/libsodium/builds/msvc/vs2010/
H A Dlibsodium.sln2 Microsoft Visual Studio Solution File, Format Version 11.00
/freebsd/sys/contrib/libsodium/builds/msvc/vs2013/
H A Dlibsodium.sln2 Microsoft Visual Studio Solution File, Format Version 12.00
/freebsd/contrib/wpa/wpa_supplicant/vs2005/
H A Dwpa_supplicant.sln2 Microsoft Visual Studio Solution File, Format Version 9.00
/freebsd/contrib/llvm-project/llvm/lib/Transforms/Scalar/
H A DLoopStrengthReduce.cpp2266 void SolveRecurse(SmallVectorImpl<const Formula *> &Solution,
2272 void Solve(SmallVectorImpl<const Formula *> &Solution) const;
2289 void ImplementSolution(const SmallVectorImpl<const Formula *> &Solution);
5423 void LSRInstance::SolveRecurse(SmallVectorImpl<const Formula *> &Solution, in SolveRecurse() argument
5484 SolveRecurse(Solution, SolutionCost, Workspace, NewCost, in SolveRecurse()
5496 Solution = Workspace; in SolveRecurse()
5505 void LSRInstance::Solve(SmallVectorImpl<const Formula *> &Solution) const { in Solve()
5515 SolveRecurse(Solution, SolutionCost, Workspace, CurCost, in Solve()
5517 if (Solution.empty()) { in Solve()
5531 Solution[i]->print(dbgs()); in Solve()
[all …]
/freebsd/contrib/one-true-awk/testdir/
H A Dfunstack.ok367 for the Solution of Two-Point Boundary
558 J. A. Howell ACM Algorithm 406: Exact Solution of
561 C. W. Gear ACM Algorithm 407: DIFSUB for Solution
799 G. W. Stewart Algorithm 432: The Solution of the
1098 W. H. Kautz Cellular Arrays for the Solution of
1111 G. W. Stewart ACM Algorithm 432: Solution of the
1206 Prentiss Robinson New Method for the Solution of the
1284 W. P. Crowley ACM Algorithm 443: Solution of the
1452 F. Fiala ACM Algorithm 449: Solution of Linear
1759 B. Einarsson Solution of the transcendental equation
[all …]
H A Dfunstack.in2530 …title = "A Variation of the {Goodman-Lance} Method for the Solution of Two-Point Boundary V…
3943 title = "{ACM} Algorithm 406: Exact Solution of Linear Equations Using Residue Arithmetic",
3962 title = "{ACM} Algorithm 407: {DIFSUB} for Solution of Ordinary Differential Equations",
5571 title = "Algorithm 432: The Solution of the Matrix Equation {$AX -+BX = C$}",
7967 title = "Cellular Arrays for the Solution of Graph Problems",
8075 …title = "{ACM} Algorithm 432: Solution of the Matrix Equation ${\bf{A}}x+x{\bf{B}}={\bf{C}}…
8815 title = "New Method for the Solution of the {Cauchy} Problem for Parabolic Equations",
9439 title = "{ACM} Algorithm 443: Solution of the Transcendental Equation $w e^w = x$",
10791 title = "{ACM} Algorithm 449: Solution of Linear Programming Problems in 0-1 Variables",
13211 title = "Solution of the transcendental equation we\slash sup w\slash =x",
[all …]
/freebsd/contrib/llvm-project/llvm/lib/Target/PowerPC/
H A DPPCSchedule440.td21 // Carlos Sosa and Brant Knudson. IBM System Blue Gene Solution:
/freebsd/contrib/sendmail/
H A DKNOWNBUGS79 the default configuration. Solution: fix the DNS at the sender side.
/freebsd/contrib/googletest/docs/
H A Dgmock_cook_book.md56 Solution 1 - wrap with parentheses:
70 Solution 2 - define an alias:
/freebsd/sys/dev/usb/
H A Dusbdevs617 vendor ISSC 0x1131 Integrated System Solution Corp.
2731 /* Integrated System Solution Corp. products */
/freebsd/share/misc/
H A Dusb_vendors15133 0200 HDD Storage Solution
15178 0dda Integrated Circuit Solution, Inc.
16685 1131 Integrated System Solution Corp.
20864 60fc OnlyKey Two-factor Authentication and Password Solution

12