author | Walther Neuper <neuper@ist.tugraz.at> |
Tue, 05 Oct 2010 09:01:30 +0200 | |
branch | isac-update-Isa09-2 |
changeset 38042 | 26f3832d96b2 |
parent 37965 | 9c11005c33b8 |
child 41921 | d236572c99f2 |
permissions | -rw-r--r-- |
neuper@37944 | 1 |
(* Title: descriptions for items in model-patterns of problems and in method's |
neuper@37944 | 2 |
guards |
neuper@37944 | 3 |
Author: Walther Neuper 000301 |
neuper@37944 | 4 |
(c) due to copyright terms |
neuper@37906 | 5 |
+ see WN, Reactive User-Guidance ... Vers. Oct.2000 p.48 ff |
neuper@37906 | 6 |
*) |
neuper@37906 | 7 |
|
neuper@37965 | 8 |
theory Descript imports Delete begin |
neuper@37906 | 9 |
|
neuper@37906 | 10 |
consts |
neuper@37906 | 11 |
|
neuper@37944 | 12 |
someList :: "'a list => unl" (*not for elementwise input, eg. inssort*) |
neuper@37906 | 13 |
|
neuper@37944 | 14 |
additionalRels :: "bool list => una" |
neuper@37944 | 15 |
boundVariable :: "real => una" |
neuper@37906 | 16 |
(*derivative :: 'a => toreal 28.11.00*) |
neuper@37944 | 17 |
derivative :: "real => una" |
neuper@37944 | 18 |
equalities :: "bool list => tobooll" (*WN071228 see fixedValues*) |
neuper@37944 | 19 |
equality :: "bool => una" |
neuper@37944 | 20 |
errorBound :: "bool => nam" |
neuper@37906 | 21 |
|
neuper@37944 | 22 |
fixedValues :: "bool list => nam" |
neuper@37944 | 23 |
functionEq :: "bool => una" (*6.5.03: functionTerm -> functionEq*) |
neuper@37944 | 24 |
antiDerivative :: "bool => una" |
neuper@37944 | 25 |
functionOf :: "real => una" |
neuper@37906 | 26 |
(*functionTerm :: 'a => toreal 28.11.00*) |
neuper@37944 | 27 |
functionTerm :: "real => una" (*6.5.03: functionTerm -> functionEq*) |
neuper@37944 | 28 |
interval :: "real set => una" |
neuper@37944 | 29 |
maxArgument :: "bool => toreal" |
neuper@37944 | 30 |
maximum :: "real => toreal" |
neuper@37906 | 31 |
|
neuper@37944 | 32 |
relations :: "bool list => una" |
neuper@37944 | 33 |
solutions :: "bool list => toreall" |
neuper@37906 | 34 |
(*solution :: bool => toreal WN0509 bool list=> toreall --->EqSystem*) |
neuper@37944 | 35 |
solveFor :: "real => una" |
neuper@37944 | 36 |
differentiateFor:: "real => una" |
neuper@37944 | 37 |
unknown :: "'a => unknow" |
neuper@37944 | 38 |
valuesFor :: "real list => toreall" |
neuper@37906 | 39 |
|
neuper@37944 | 40 |
realTestGiven :: "real => una" |
neuper@37944 | 41 |
realTestFind :: "real => una" |
neuper@37944 | 42 |
boolTestGiven :: "bool => una" |
neuper@37944 | 43 |
boolTestFind :: "bool => una" |
neuper@37906 | 44 |
|
neuper@37906 | 45 |
end |