| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Isabelle/Tools/GraphBrowser/graphbrowser/ (Isabelle Prover Version 2025-1©) Datei vom 16.11.2025 mit Größe 487 B |
|
Quelle Box.javaSprache: JAVA |
|||||||||||||||
|
/*************************************************************************** Title: graphbrowser/Box.java Author: Gerwin Klein, TU Muenchen A box with width and height. Used instead of java.awt.Dimension for batch mode. ***************************************************************************/ package isabelle.graphbrowser; public class Box { public int width; public int height; public Box(int w, int h) { this.width = w; this.height = h; } }
¤ Dauer der Verarbeitung: 0.9 Sekunden (vorverarbeitet am 2026-06-29) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-07-09