| products/sources/formale sprachen/VDM/VDMRT/MSAWRT/ |
|
Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei: const_fun_def.prf Sprache: Unknown
|
(const_fun_def
(image_const 0 (image_const-1 nil 3461937620 ("" (skosimp) (("" (apply-extensionality :hide? t) (("" (grind) nil nil)) nil)) nil) ((T formal-type-decl nil const_fun_def nil) (boolean nonempty-type-decl nil booleans nil) (singleton const-decl "(singleton?)" sets nil) (singleton? const-decl "bool" sets nil) (emptyset const-decl "set" sets nil) (empty? const-decl "bool" sets nil) (IF const-decl "[boolean, T, T -> T]" if_def nil) (const_fun const-decl "[S -> T]" const_fun_def nil) (image const-decl "set[R]" function_image nil) (set type-eq-decl nil sets nil) (bool nonempty-type-eq-decl nil booleans nil) (S formal-type-decl nil const_fun_def nil) (finite_emptyset name-judgement "finite_set" finite_sets nil) (nonempty_singleton_finite application-judgement "non_empty_finite_set" finite_sets nil) (member const-decl "bool" sets nil) (NOT const-decl "[bool -> bool]" booleans nil)) nil)) (inverse_image_const 0 (inverse_image_const-1 nil 3461937640 ("" (skosimp) (("" (apply-extensionality :hide? t) (("" (grind) nil nil)) nil)) nil) ((S formal-type-decl nil const_fun_def nil) (boolean nonempty-type-decl nil booleans nil) (emptyset const-decl "set" sets nil) (fullset const-decl "set" sets nil) (IF const-decl "[boolean, T, T -> T]" if_def nil) (const_fun const-decl "[S -> T]" const_fun_def nil) (inverse_image const-decl "set[D]" function_image nil) (set type-eq-decl nil sets nil) (bool nonempty-type-eq-decl nil booleans nil) (T formal-type-decl nil const_fun_def nil) (finite_emptyset name-judgement "finite_set" finite_sets nil) (member const-decl "bool" sets nil)) nil))) [ Dauer der Verarbeitung: 0.47 Sekunden (vorverarbeitet) ] |