1.1 --- a/src/Tools/isac/MathEngBasic/ctree-basic.sml	Sun Oct 09 09:01:29 2022 +0200
     1.2 +++ b/src/Tools/isac/MathEngBasic/ctree-basic.sml	Wed Oct 19 10:43:04 2022 +0200
     1.3 @@ -22,6 +22,9 @@
     1.4    datatype ppobj = PblObj of specify_data | PrfObj of solve_data
     1.5    datatype ctree = EmptyPtree | Nd of ppobj * ctree list
     1.6  
     1.7 +  val rep_solve_data: ppobj -> solve_data
     1.8 +  val rep_specify_data: ppobj -> specify_data
     1.9 +
    1.10  (** basic functions **)
    1.11    val e_ctree : ctree (* TODO: replace by EmptyPtree*)
    1.12    val existpt' : Pos.pos' -> ctree -> bool
    1.13 @@ -226,6 +229,11 @@
    1.14  type state = ctree * pos'
    1.15  val e_state = (EmptyPtree , e_pos')
    1.16  
    1.17 +fun rep_solve_data (PrfObj solve_data) = solve_data
    1.18 +  | rep_solve_data _ = raise ERROR "rep_solve_data ONLY for solve_data"
    1.19 +fun rep_specify_data (PblObj specify_data) = specify_data
    1.20 +  | rep_specify_data _ = raise ERROR "rep_solve_data ONLY for solve_data"
    1.21 +
    1.22  
    1.23  (*** minimal set of functions on Ctree* **)
    1.24