Home
last modified time | relevance | path

Searched refs:Solved (Results 1 – 25 of 973) sorted by relevance

12345678910>>...39

/dports/security/hs-cryptol/cryptol-2.11.0/src/Cryptol/TypeCheck/Solver/
H A DTypes.hs24 data Solved = SolvedIf [Prop] -- ^ Solved, assuming the sub-goals. type
31 elseTry :: Solved -> Solved -> Solved
35 solveOpts :: [Solved] -> Solved
39 matchThen :: Maybe a -> (a -> Solved) -> Solved
43 guarded :: Bool -> Solved -> Solved
48 instance PP Solved where
H A DNumeric.hs33 cryIsEqual :: Ctxt -> Type -> Type -> Solved
54 cryIsNotEqual :: Ctxt -> Type -> Type -> Solved
58 cryIsGeq :: Ctxt -> Type -> Type -> Solved
87 cryIsPrime :: Ctxt -> Type -> Solved
119 tryGeqKThan :: Ctxt -> Type -> Nat' -> Match Solved
173 tryMinIsGeq :: Type -> Type -> Match Solved
233 tryEqMin :: Type -> Type -> Match Solved
243 tryEqMins :: Type -> Type -> Match Solved
272 tryEqVar :: Type -> TVar -> Match Solved
308 tryEqK :: Ctxt -> Type -> Nat' -> Match Solved
[all …]
H A DClass.hs43 solveValidFloat :: Type -> Type -> Solved
68 solveZeroInst :: Type -> Solved
109 solveLogicInst :: Type -> Solved
149 solveRingInst :: Type -> Solved
190 solveRingSeq :: Type -> Type -> Solved
209 solveIntegralInst :: Type -> Solved
234 solveFieldInst :: Type -> Solved
276 solveRoundInst :: Type -> Solved
319 solveEqInst :: Type -> Solved
359 solveCmpInst :: Type -> Solved
[all …]
/dports/math/reduce/Reduce-svn5758-src/xmpl/
H A Dcdiff.rlg642 equ(3): Solved for c(1)
644 equ(4): Solved for c(2)
646 equ(5): Solved for c(3)
650 equ(7): Solved for c(5)
654 equ(9): Solved for c(7)
656 equ(10): Solved for c(8)
660 equ(12): Solved for c(10)
662 equ(13): Solved for c(11)
664 equ(14): Solved for c(12)
668 equ(16): Solved for c(13)
[all …]
/dports/math/reduce/Reduce-svn5758-src/packages/cdiff/
H A Dcdiff.rlg642 equ(3): Solved for c(1)
644 equ(4): Solved for c(2)
646 equ(5): Solved for c(3)
650 equ(7): Solved for c(5)
654 equ(9): Solved for c(7)
656 equ(10): Solved for c(8)
660 equ(12): Solved for c(10)
662 equ(13): Solved for c(11)
664 equ(14): Solved for c(12)
668 equ(16): Solved for c(13)
[all …]
/dports/math/deal.ii/dealii-803d21ff957e349b3799cd3ef2c840bc78734305/examples/step-64/doc/
H A Dresults.dox10 Solved in 27 iterations.
16 Solved in 60 iterations.
22 Solved in 114 iterations.
28 Solved in 227 iterations.
/dports/games/picmi/picmi-21.12.3/src/gui/
H A Dselectboardwindow.cpp43 Solved, enumerator
88 case Solved: return (level->solved()) ? Time(level->solvedTime()).toString() : "-"; in data()
102 case Solved: return QVariant(ki18nc("board solved", "Solved").toString()); in headerData()
153 case Solved: cmp = (order == Qt::AscendingOrder) ? solvedLessThan : solvedGreaterThan; break; in sort()
195 ui->tableView->showColumn(LevelTableModel::Solved); in SelectBoardWindow()
198 ui->tableView->sortByColumn(LevelTableModel::Solved, Qt::DescendingOrder); in SelectBoardWindow()
/dports/games/scummvm/scummvm-2.5.1/devtools/create_achievements/gen/
H A Dsteam-574420.ini57 item_27_title=Solved The 1919 Case
59 item_28_title=Solved The Ashberg Heist
61 item_29_title=Solved The Mystery of the Cloche Hat
/dports/devel/libslang2/slang-2.3.2/src/curses/
H A Dhanoi.c63 int Solved(int NumTiles);
129 } while(!Solved(NTiles)); in main()
142 if(Solved(NTiles)) { in main()
276 Solved(int NumTiles) in Solved() function
/dports/japanese/libslang/slang-1.4.5jp2/src/curses/
H A Dhanoi.c63 int Solved(int NumTiles);
129 } while(!Solved(NTiles)); in main()
142 if(Solved(NTiles)) { in main()
276 Solved(int NumTiles) in Solved() function
/dports/games/freecell-solver/freecell-solver-6.2.0/
H A DTODO.asciidoc78 Verdict: Solved ; Iters: 156 ; Length: 87
88 Verdict: Solved ; Iters: 1325 ; Length: 115
97 Verdict: Solved ; Iters: 615 ; Length: 77
106 Verdict: Solved ; Iters: 195331 ; Length: 98
108 Verdict: Solved ; Iters: 111 ; Length: 92
122 Verdict: Solved ; Iters: 157905 ; Length: 109
124 Verdict: Solved ; Iters: 433 ; Length: 89
/dports/lang/erlang-runtime23/otp-OTP-23.3.4.10/lib/wx/examples/sudoku/
H A Dsudoku_game.erl127 Solved = get_known(S0),
131 end, S1, Solved).
219 solve(Rem, false, _St, [Solved|_], Unsolved, _) -> {true, [Solved], Rem ++ Unsolved};
220 solve([], _, _St, Solved, [], _) -> {true, Solved, []};
221 solve([], _, _St, Solved, Unsolved, Unsolved) -> {false, Solved, Unsolved};
222 solve([], _, St, Solved, Unsolved, _Orig) ->
223 solve(Unsolved,true,St,Solved,[],lists:reverse(Unsolved));
/dports/lang/erlang-runtime21/otp-OTP-21.3.8.24/lib/wx/examples/sudoku/
H A Dsudoku_game.erl127 Solved = get_known(S0),
131 end, S1, Solved).
219 solve(Rem, false, _St, [Solved|_], Unsolved, _) -> {true, [Solved], Rem ++ Unsolved};
220 solve([], _, _St, Solved, [], _) -> {true, Solved, []};
221 solve([], _, _St, Solved, Unsolved, Unsolved) -> {false, Solved, Unsolved};
222 solve([], _, St, Solved, Unsolved, _Orig) ->
223 solve(Unsolved,true,St,Solved,[],lists:reverse(Unsolved));
/dports/lang/erlang-runtime22/otp-OTP-22.3.4.24/lib/wx/examples/sudoku/
H A Dsudoku_game.erl127 Solved = get_known(S0),
131 end, S1, Solved).
219 solve(Rem, false, _St, [Solved|_], Unsolved, _) -> {true, [Solved], Rem ++ Unsolved};
220 solve([], _, _St, Solved, [], _) -> {true, Solved, []};
221 solve([], _, _St, Solved, Unsolved, Unsolved) -> {false, Solved, Unsolved};
222 solve([], _, St, Solved, Unsolved, _Orig) ->
223 solve(Unsolved,true,St,Solved,[],lists:reverse(Unsolved));
/dports/lang/erlang-wx/otp-OTP-24.1.7/lib/wx/examples/sudoku/
H A Dsudoku_game.erl127 Solved = get_known(S0),
131 end, S1, Solved).
219 solve(Rem, false, _St, [Solved|_], Unsolved, _) -> {true, [Solved], Rem ++ Unsolved};
220 solve([], _, _St, Solved, [], _) -> {true, Solved, []};
221 solve([], _, _St, Solved, Unsolved, Unsolved) -> {false, Solved, Unsolved};
222 solve([], _, St, Solved, Unsolved, _Orig) ->
223 solve(Unsolved,true,St,Solved,[],lists:reverse(Unsolved));
/dports/lang/erlang-runtime24/otp-OTP-24.1.7/lib/wx/examples/sudoku/
H A Dsudoku_game.erl127 Solved = get_known(S0),
131 end, S1, Solved).
219 solve(Rem, false, _St, [Solved|_], Unsolved, _) -> {true, [Solved], Rem ++ Unsolved};
220 solve([], _, _St, Solved, [], _) -> {true, Solved, []};
221 solve([], _, _St, Solved, Unsolved, Unsolved) -> {false, Solved, Unsolved};
222 solve([], _, St, Solved, Unsolved, _Orig) ->
223 solve(Unsolved,true,St,Solved,[],lists:reverse(Unsolved));
/dports/lang/erlang-java/otp-OTP-24.1.7/lib/wx/examples/sudoku/
H A Dsudoku_game.erl127 Solved = get_known(S0),
131 end, S1, Solved).
219 solve(Rem, false, _St, [Solved|_], Unsolved, _) -> {true, [Solved], Rem ++ Unsolved};
220 solve([], _, _St, Solved, [], _) -> {true, Solved, []};
221 solve([], _, _St, Solved, Unsolved, Unsolved) -> {false, Solved, Unsolved};
222 solve([], _, St, Solved, Unsolved, _Orig) ->
223 solve(Unsolved,true,St,Solved,[],lists:reverse(Unsolved));
/dports/lang/erlang/otp-OTP-24.1.7/lib/wx/examples/sudoku/
H A Dsudoku_game.erl127 Solved = get_known(S0),
131 end, S1, Solved).
219 solve(Rem, false, _St, [Solved|_], Unsolved, _) -> {true, [Solved], Rem ++ Unsolved};
220 solve([], _, _St, Solved, [], _) -> {true, Solved, []};
221 solve([], _, _St, Solved, Unsolved, Unsolved) -> {false, Solved, Unsolved};
222 solve([], _, St, Solved, Unsolved, _Orig) ->
223 solve(Unsolved,true,St,Solved,[],lists:reverse(Unsolved));
/dports/games/picmi/picmi-21.12.3/po/en_GB/
H A Dpicmi.po490 msgid "Board Solved!"
491 msgstr "Board Solved!"
521 msgid "Solved"
522 msgstr "Solved"
593 msgid "Solved: %1"
594 msgstr "Solved: %1"
599 msgid "Solved: -"
600 msgstr "Solved: -"
629 msgid "Solved: -"
630 msgstr "Solved: -"
[all …]
/dports/devel/ncurses/ncurses-6.3/test/
H A Dhanoi.c224 Solved(int NumTiles) in Solved() function
335 } while (!Solved(NTiles)); in main()
349 if (Solved(NTiles)) { in main()
/dports/devel/hyperscan/boost_1_75_0/libs/geometry/doc/
H A Drelease_notes.qbk36 [*Solved issues]
57 [*Solved issues]
77 [*Solved issues]
104 [*Solved issues]
126 [*Solved issues]
143 [*Solved issues]
174 [*Solved issues]
198 [*Solved issues]
227 [*Solved issues]
250 [*Solved issues]
[all …]
/dports/devel/boost-docs/boost_1_72_0/libs/geometry/doc/
H A Drelease_notes.qbk35 [*Solved issues]
57 [*Solved issues]
74 [*Solved issues]
105 [*Solved issues]
129 [*Solved issues]
158 [*Solved issues]
181 [*Solved issues]
202 [*Solved issues]
234 [*Solved issues]
240 [*Solved tickets]
[all …]
/dports/devel/boost-python-libs/boost_1_72_0/libs/geometry/doc/
H A Drelease_notes.qbk35 [*Solved issues]
57 [*Solved issues]
74 [*Solved issues]
105 [*Solved issues]
129 [*Solved issues]
158 [*Solved issues]
181 [*Solved issues]
202 [*Solved issues]
234 [*Solved issues]
240 [*Solved tickets]
[all …]
/dports/devel/boost-libs/boost_1_72_0/libs/geometry/doc/
H A Drelease_notes.qbk35 [*Solved issues]
57 [*Solved issues]
74 [*Solved issues]
105 [*Solved issues]
129 [*Solved issues]
158 [*Solved issues]
181 [*Solved issues]
202 [*Solved issues]
234 [*Solved issues]
240 [*Solved tickets]
[all …]
/dports/devel/p5-Asm-Preproc/Asm-Preproc-1.03/
H A DChanges38 * Solved problem with test scripts:
43 * Solved problem with test scripts:

12345678910>>...39