Mercurial Mercurial > wneuper > isa / file revision
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
test/Tools/isac/Minisubpbl/500-postcond.sml
author Walther Neuper <neuper@ist.tugraz.at>
Thu, 12 May 2011 10:00:06 +0200
branchdecompose-isar
changeset 41985 cb8ea2269e6f
permissions -rw-r--r--
added test-sequence with mini_subpbl x+1=2 
     1 (* Title:  500-postcond.sml

     2    Author: Walther Neuper 1105

     3    (c) copyright due to lincense terms.

     4 *)

     5 

     6 val fmz = ["equality (x+1=(2::real))", "solveFor x","solutions L"];

     7 val (dI',pI',mI') =

     8   ("Test", ["sqroot-test","univariate","equation","test"],

     9    ["Test","squ-equ-test-subpbl1"]);

    10 val (p,_,f,nxt,_,pt) = CalcTreeTEST [(fmz, (dI',pI',mI'))];

    11 val (p,_,f,nxt,_,pt) = me nxt p [] pt;

    12 val (p,_,f,nxt,_,pt) = me nxt p [1] pt;

    13 val (p,_,f,nxt,_,pt) = me nxt p [1] pt;

    14 val (p,_,f,nxt,_,pt) = me nxt p [1] pt;

    15 val (p,_,f,nxt,_,pt) = me nxt p [1] pt;

    16 val (p,_,f,nxt,_,pt) = me nxt p [1] pt;

    17 val (p,_,f,nxt,_,pt) = me nxt p [1] pt;

    18 val (p,_,f,nxt,_,pt) = me nxt p [1] pt;

    19 val (p,_,f,nxt,_,pt) = me nxt p [1] pt;

    20 val (p,_,f,nxt,_,pt) = me nxt p [1] pt; (*nxt = ("Subproblem"*)

    21 (*

    22 val (p,_,f,nxt,_,pt) = me nxt p [1] pt;

    23 val (p,_,f,nxt,_,pt) = me nxt p [1] pt;

    24 val (p,_,f,nxt,_,pt) = me nxt p [1] pt;

    25 val (p,_,f,nxt,_,pt) = me nxt p [1] pt;

    26 val (p,_,f,nxt,_,pt) = me nxt p [1] pt;

    27 val (p,_,f,nxt,_,pt) = me nxt p [1] pt;

    28 val (p,_,f,nxt,_,pt) = me nxt p [1] pt;

    29 val (p,_,f,nxt,_,pt) = me nxt p [1] pt;

    30 *)
wneuper/isa