Theorem Proving in Lean Release 3.23.0
0 码力 | 173 页 | 777.93 KB | 1 年前3PlantUML 1.2019.3 Справочное руководство по языку
(1.2019.3) 48 / 158 3.23 Skinparam 3 ДИАГРАММА КЛАССОВ Name } Student "0..*" -- "1..*" Course (Student, Course) . Enrollment class Enrollment { drop() cancel() } @enduml 3.23 Skinparam Вы можете использовать Ассоциация классов . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48 3.23 Skinparam . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .0 码力 | 159 页 | 1.76 MB | 1 年前3PlantUML 1.2019.2 Справочное руководство по языку
(1.2019.2) 48 / 158 3.23 Skinparam 3 ДИАГРАММА КЛАССОВ Name } Student "0..*" -- "1..*" Course (Student, Course) . Enrollment class Enrollment { drop() cancel() } @enduml 3.23 Skinparam Вы можете использовать Ассоциация классов . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48 3.23 Skinparam . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .0 码力 | 159 页 | 1.76 MB | 1 年前3PlantUML 1.2019.1 Справочное руководство по языку
(1.2019.1) 45 / 146 3.23 Skinparam 3 ДИАГРАММА КЛАССОВ Name } Student "0..*" -- "1..*" Course (Student, Course) . Enrollment class Enrollment { drop() cancel() } @enduml 3.23 Skinparam Вы можете Ассоциация классов . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 45 3.23 Skinparam . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .0 码力 | 147 页 | 1.89 MB | 1 年前3PlantUML 1.2019.6 Справочное руководство по языку
(1.2019.6) 48 / 172 3.23 Skinparam 3 ДИАГРАММА КЛАССОВ Name } Student "0..*" -- "1..*" Course (Student, Course) . Enrollment class Enrollment { drop() cancel() } @enduml 3.23 Skinparam Вы можете использовать Ассоциация классов . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48 3.23 Skinparam . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .0 码力 | 173 页 | 1.95 MB | 1 年前3PlantUML 1.2019.9 Справочное руководство по языку
(1.2019.9) 48 / 172 3.23 Skinparam 3 ДИАГРАММА КЛАССОВ Name } Student "0..*" -- "1..*" Course (Student, Course) . Enrollment class Enrollment { drop() cancel() } @enduml 3.23 Skinparam Вы можете использовать Ассоциация классов . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48 3.23 Skinparam . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .0 码力 | 173 页 | 1.97 MB | 1 年前3PlantUML 1.2019.4 Справочное руководство по языку
(1.2019.4) 48 / 166 3.23 Skinparam 3 ДИАГРАММА КЛАССОВ Name } Student "0..*" -- "1..*" Course (Student, Course) . Enrollment class Enrollment { drop() cancel() } @enduml 3.23 Skinparam Вы можете использовать Ассоциация классов . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 48 3.23 Skinparam . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .0 码力 | 167 页 | 1.87 MB | 1 年前3Conan 2.10 Documentation
Note that CMakeToolchain might generate CMake presets files, that allows users with a modern CMake (>=3.23) to use them with cmake --preset instead of passing the toolchain file argument. See Building with conan_toolchain.cmake file and the CMakeUserPresets.json that can be used in our IDE or calling CMake (only >= 3.23). $ conan install . -s build_type=Release 2. We build our project calling CMake, our IDE, ... etc: using the conan build command. Note: We use CMake presets in this example. This requires CMake >= 3.23 because the “include” from CMakeUserPresets.json to CMakePresets.json is only supported since that0 码力 | 803 页 | 5.02 MB | 10 月前3Conan 2.9 Documentation
Note that CMakeToolchain might generate CMake presets files, that allows users with a modern CMake (>=3.23) to use them with cmake --preset instead of passing the toolchain file argument. See Building with conan_toolchain.cmake file and the CMakeUserPresets.json that can be used in our IDE or calling CMake (only >= 3.23). $ conan install . -s build_type=Release 2. We build our project calling CMake, our IDE, ... etc: using the conan build command. Note: We use CMake presets in this example. This requires CMake >= 3.23 because the “include” from CMakeUserPresets.json to CMakePresets.json is only supported since that0 码力 | 795 页 | 4.99 MB | 10 月前3Drawing UML with PlantUML - PlantUML Language Reference Guide(Version 1.2019.4)
Enrollment { drop() cancel() PlantUML Language Reference Guide (1.2019.4) 49 / 166 3.23 Skinparam 3 CLASS DIAGRAM } @enduml 3.23 Skinparam You can use the skinparam command to change colors and fonts for the Association classes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49 3.23 Skinparam . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .0 码力 | 167 页 | 1.83 MB | 1 年前3
共 191 条
- 1
- 2
- 3
- 4
- 5
- 6
- 20