Commit: edca4b5ad73bceb93241a4a518609f46f490d3f0 - star (git)

Commit MetaInfo

• Revisão: edca4b5ad73bceb93241a4a518609f46f490d3f0 (tree)
• Hora: 2017-09-01 23:26:17
• Autor: dhrname <dhrname@user...>
• Commiter: dhrname

Mensagem de Log

New the ST_getFirstTree function

Mudança Sumário

• modified: source_code/shadowstar.c
• modified: source_code/shadowstar.o
• modified: source_code/star.h
• modified: source_code/startest.c
• modified: source_code/startest.o

Diff

--- a/source_code/shadowstar.c
+++ b/source_code/shadowstar.c
@@ -416,14 +416,15 @@ ST_Ordered_Pair *ST_eval()
 }
 
 /*以下の連結リスト構造については数学の集合とラムダ計算と項書き換え系を参照のこと
+ * モデル
  * ここでは、:=を定義とする
  * 空集合 := {}
  * 対、あるいはNo Ordered Pair := {a, b}
  * 集合の性質として{a, b} = {b, a}
- * 順序対 あるいは、Ordered Pair := (a, b)
- * (a, b) := { a, {a, b} }
- * n項組　あるいは、n組、n-tupples := [a, b, c, ... ]
- * [a, b, c] := (a, ( b, (c, {}) ) )*/
+ * 順序対 あるいは、Ordered Pair := (a, b)とすると、
+ * (a, b) := {a, {a, b}}
+ * n項組　あるいは、n組、n-tupples := [a, b, c, ... ]とすると、
+ * [a, b, c] := (a, ( b, (c, {}) ) )で表せる*/
 
 /*ST_EMPTY
  * 空リストを表現する構造体
@@ -431,7 +432,8 @@ ST_Ordered_Pair *ST_eval()
 const ST_Ordered_Pair ST_EMPTY = {
     0.0,
     NULL,
-    0
+    0,
+    NULL
 };
 
 /*ST_isEmpty 関数
@@ -510,6 +512,7 @@ ST_Ordered_Pair *ST_pair (ST_First_Type n, ST_Ordered_Pair *p) {
     s->first = n;
     s->second = p;
     s->lifepoint = 0;
+    s->first_tree = &ST_EMPTY;
     if (!ST_isEmpty(p)) {
         p->lifepoint++;
     }
@@ -542,7 +545,7 @@ ST_Ordered_Pair *ST_setChurchNumber (uint_fast32_t length, Ord2ST_Ordered_Pair f
 }
 
 /*ST_getItem 関数
- * 入力されたリストの最後からnum番目にある項目の値を取り出す(num >= 0)*/
+ * 入力されたリストの最後からnum番目にある項目の最初の値を取り出す(num >= 0)*/
 ST_First_Type ST_getItem (ST_Ordered_Pair *list, uint_fast32_t num)
 {
     return ST_first( ST_setChurchNumber(num, ST_second, list) );
@@ -584,3 +587,15 @@ ST_First_Type ST_pop (ST_Stack_List stack)
     stackfree = NULL;
     return value;
 }
+
+/*ST_getFirstTree 関数
+ * 二分木の最初の枝を返す関数
+ * first関数との違いは、数値型を返すか、ポインタ型を返すかの差*/
+ST_Ordered_Pair* ST_getFirstTree(ST_Ordered_Pair *list)
+{
+    if (ST_isEmpty(list)) {
+        return &ST_EMPTY;
+    } else {
+        return list->first_tree;
+    }
+}

Binary files a/source_code/shadowstar.o and b/source_code/shadowstar.o differ

--- a/source_code/star.h
+++ b/source_code/star.h
@@ -35,11 +35,12 @@ typedef double ST_First_Type ;
 
 /*ST_OrderedPair 構造体
  * 順序対を作るための構造体
- * ただし、属性fだけは操作として、next関数で使われる*/
+ * タプルを用いて、連結リストや二分木を作るため、順序対の考え方を導入する*/
 struct ST_OrderedPair {
     ST_First_Type first;      /*対となる一番目*/
     ST_Ordered_Pair *second;     /*対となる二番目*/
     int32_t lifepoint; /*参照カウンタ*/
+    ST_Ordered_Pair *first_tree; /*対となる一番目（ただし、二分木で使う）*/
 };
 
 /*ST_EMPTY
@@ -114,6 +115,10 @@ ST_Stack_List ST_push (ST_First_Type value, ST_Stack_List stack);
  * スタックからは取り除かれる*/
 ST_First_Type ST_pop (ST_Stack_List stack);
 
+/*ST_getFirstTree 関数
+ * 二分木の最初の枝を返す関数*/
+ST_Ordered_Pair* ST_getFirstTree(ST_Ordered_Pair*);
+
 /*トークン化したときの識別用のマジックナンバー*/
 typedef enum {
   ST_UNKNOWN_TOKEN = 0,       /*未知のトークン*/

--- a/source_code/startest.c
+++ b/source_code/startest.c
@@ -328,7 +328,7 @@ int main(int argc, char **argv)
     assert(tokens[2] == 0);
     elapsed = clock() - before;
     printf("Time is %.3f seconds\n", elapsed/CLOCKS_PER_SEC);
-    
+
     assert(ST_isEmpty(&ST_EMPTY));
     ST_Ordered_Pair alist= {FP_NAN, NULL, 0};
     ST_Ordered_Pair blist = {0.0, NULL, 0};
@@ -394,6 +394,15 @@ int main(int argc, char **argv)
     ST_freelist(*stack);
     ST_freelist(ppp);
     
+    ST_Ordered_Pair dlist= {FP_NAN, NULL, 0, &ST_EMPTY};
+    ST_Ordered_Pair elist = {0.0, NULL, 0, &dlist};
+    ST_Ordered_Pair flist = {1.0, &elist, 0, &elist};
+    assert(ST_isEmpty(ST_getFirstTree(&ST_EMPTY)));
+    assert(ST_getFirstTree(&dlist) == &ST_EMPTY);
+    assert(ST_getFirstTree(&elist) == &dlist);
+    assert(ST_getFirstTree(&flist) == &elist);
+
+    errno = 0;
     eprint_log("Error!\n");
     eprint_log("Error!\n");
     eprint_log("");

Binary files a/source_code/startest.o and b/source_code/startest.o differ