1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/src/Tools/isac/IsacKnowledge/Descript.thy	Thu Aug 12 11:02:32 2010 +0200
     1.3 @@ -0,0 +1,55 @@
     1.4 +(* descriptions for items in problem-types
     1.5 +   WN 1.3.00
     1.6 +   + see WN, Reactive User-Guidance ... Vers. Oct.2000 p.48 ff
     1.7 +*)
     1.8 +(* descriptions for items in model-patterns of problems and in method's guards
     1.9 +   author: Walther Neuper
    1.10 +   000301,
    1.11 +   (c) due to copyright terms
    1.12 +
    1.13 +remove_thy"Descript";
    1.14 +use_thy"IsacKnowledge/Descript";
    1.15 +use_thy_only"IsacKnowledge/Descript";
    1.16 +
    1.17 +remove_thy"Typefix";
    1.18 +use_thy"IsacKnowledge/Isac";
    1.19 +*)
    1.20 +
    1.21 +Descript = Script +
    1.22 +
    1.23 +consts
    1.24 +
    1.25 +  someList       :: 'a list => unl (*not for elementwise input, eg. inssort*)
    1.26 +
    1.27 +  additionalRels :: bool list => una
    1.28 +  boundVariable  :: real => una
    1.29 +(*derivative     :: 'a => toreal 28.11.00*)
    1.30 +  derivative     :: real => una
    1.31 +  equalities     :: bool list => tobooll (*WN071228 see fixedValues*)
    1.32 +  equality       :: bool => una
    1.33 +  errorBound     :: bool => nam
    1.34 +  
    1.35 +  fixedValues    :: bool list => nam
    1.36 +  functionEq     :: bool => una     (*6.5.03: functionTerm -> functionEq*)
    1.37 +  antiDerivative :: bool => una
    1.38 +  functionOf     :: real => una
    1.39 +(*functionTerm   :: 'a => toreal 28.11.00*)
    1.40 +  functionTerm   :: real => una     (*6.5.03: functionTerm -> functionEq*)
    1.41 +  interval       :: real set => una
    1.42 +  maxArgument    :: bool => toreal
    1.43 +  maximum        :: real => toreal
    1.44 +  
    1.45 +  relations      :: bool list => una
    1.46 +  solutions      :: bool list => toreall
    1.47 +(*solution       :: bool => toreal  WN0509 bool list=> toreall --->EqSystem*)
    1.48 +  solveFor       :: real => una
    1.49 +  differentiateFor:: real => una
    1.50 +  unknown        :: 'a => unknow
    1.51 +  valuesFor      :: real list => toreall
    1.52 +
    1.53 +  realTestGiven  :: real => una
    1.54 +  realTestFind   :: real => una
    1.55 +  boolTestGiven  :: bool => una
    1.56 +  boolTestFind   :: bool => una
    1.57 +
    1.58 +end
    1.59 \ No newline at end of file