Commit: 854ae1d1b39b4038278986053592dfeeb778b6a2 - joestar (git)

programming language

Commit MetaInfo

• Revisión: 854ae1d1b39b4038278986053592dfeeb778b6a2 (tree)
• Tiempo: 2021-12-27 22:45:16
• Autor: dhrname <dhrname@joes...>
• Commiter: dhrname

Log Message

New a PowerSetElementModel class

Cambiar Resumen

• modified: bin/joestar.exe
• modified: bin/obj/main.o
• modified: main.cpp

Diferencia incremental

Binary files a/bin/joestar.exe and b/bin/joestar.exe differ

Binary files a/bin/obj/main.o and b/bin/obj/main.o differ

--- a/main.cpp
+++ b/main.cpp
@@ -515,7 +515,7 @@ namespace jstr
       
             
       /*getUnionMap メンバ関数
-       * 直和の随伴射を返す
+       * 直和集合を示すマップを返す
        * 後述するdisjointメンバ関数で使う*/
       virtual std::unordered_map<std::string, UnionModel*> getUnionMap()
       {
@@ -526,6 +526,10 @@ namespace jstr
        * 引数のuniと、自身を和集合として、直和を構成する*/
       virtual void disjoint(UnionModel* uni)
       {
+          if (nullptr == uni)
+          {
+              throwMapMatchError("nullptr", " UnionMap", "UnionModel::disjoint");
+          }
           unionmap.merge(uni->getUnionMap());
           unionmap[uni->getId()] = uni;
       }
@@ -546,12 +550,66 @@ namespace jstr
        }
   };
   
-  /*PowerSetModel クラス
-   * べき集合型モデルのクラス
+  /*PowerSetElementModel クラス
+   * べき集合型の一つの元を表現するモデルのクラス
    * ブール数集合の直積と、対象となる集合の直積の組み合わせで表現できる
    * 構造化プログラミング第二部「データ構造化」を参照*/
-  class PowerSetModel: public CartesianProductModel
+  class PowerSetElementModel: public CartesianProductModel
   {
+  private:
+      /*boolmapは特徴関数を示すマップのベクタ
+       * Set⊆Bとなるような、べき集合Bを置くと、
+       * name∈Set のとき、boolmap[name] = true。
+       * name∉Setのとき、false*/
+      std::unordered_map<std::string, bool> boolmap;
+      /*べき集合の対象となる集合（都合上、直積型モデルを使う）*/
+      CartesianProductModel* targetSet;
+  public:
+      PowerSetElementModel(const std::string& id)
+      :CartesianProductModel::CartesianProductModel(id),
+       boolmap{}
+      {
+      }
+      
+      /*getBoolMap メンバ関数
+       * 特徴関数を表すboolmapを返す*/
+      std::unordered_map<std::string, bool> getBoolMap()
+      {
+          return boolmap;
+      }
+      
+      /*addSetOf メンバ関数
+       * 対象となる集合eleを追加する*/
+      void addSetOf(CartesianProductModel* ele)
+      {
+          targetSet = ele;
+      }
+      
+      void adjoint(Arrow* arr) override
+      {
+          CartesianProductModel::adjoint(arr);
+          boolmap[arr->getId()] = true;
+      }
+      
+      /*hasElement メンバ関数
+       * べき集合Bに含まれる要素S( すなわち、S∈B, S⊆B )に、name∈Sかどうかを、さらに要素判定
+       * 「構造化プログラミング　第二部　データ構造化」のin操作を参照*/
+      bool hasElement(const std::string& name)
+      {
+          if ( !this->hasArrowMap(name) )
+          {
+              return false;
+          }
+          else if ( !boolmap.contains(name) )
+          {
+              return false;
+          }
+          else
+          {
+              return boolmap[name];
+          }
+      }
+              
   };
   
   /*ObjectTypeValue クラス
@@ -561,7 +619,7 @@ namespace jstr
   {
     CartesianProductModel* cartesianProductType;
     UnionModel* uniType;
-    PowerSetModel* powerSetType;
+    PowerSetElementModel* powerSetType;
   };
   
   /*BooleanTypeValue クラス
@@ -1687,14 +1745,6 @@ int main(int argc, char **argv)
   EXPECT(unimod2->getUnionModel("className"), unimod);
   EXPECT(unimod2->getUnionModel("className2"), unimod2);
 
-  jstr::Arrow* arrabb(new jstr::Arrow("remoteNameC"));
-  arrabb->setDomain("15");
-  arrabb->setCodomain("i08");
-  jstr::Arrow* arrabc(new jstr::Arrow("remoteNameD"));
-  arrabc->setDomain("0.2");
-  arrabc->setCodomain("flo");
-  unimod2->adjoint(arrabb);
-  unimod2->adjoint(arrabc);
   delete unimod;
   unimod = nullptr;
   delete unimod2;
@@ -1703,10 +1753,26 @@ int main(int argc, char **argv)
   arraab = nullptr;
   delete arraac;
   arraac = nullptr;
-  delete arrabb;
-  arrabb = nullptr;
-  delete arrabc;
-  arrabc = nullptr;
+
+  jstr::PowerSetElementModel* psmod = new jstr::PowerSetElementModel("className");
+  jstr::CartesianProductModel* cpmod2 = new jstr::CartesianProductModel("className2");
+  psmod->addSetOf(cpmod2);
+  jstr::Arrow* arrab2(new jstr::Arrow("remoteNameA"));
+  arrab2->setDomain("12");
+  arrab2->setCodomain("i08");
+  jstr::Arrow* arrac2(new jstr::Arrow("remoteNameB"));
+  arrac2->setDomain("0.1");
+  arrac2->setCodomain("flo");
+  cpmod2->adjoint(arrab2);
+  cpmod2->adjoint(arrac2);
+  delete psmod;
+  psmod = nullptr;
+  delete cpmod2;
+  cpmod2 = nullptr;
+  delete arrab2;
+  arrab2 = nullptr;
+  delete arrac2;
+  arrac2 = nullptr;
 
 
   jstr::AbstractSyntaxTree* ast = new jstr::AbstractSyntaxTree();
@@ -1784,6 +1850,11 @@ int main(int argc, char **argv)
   delete cpcdmod;
   cpcdmod = nullptr;
   
+  jstr::UnionModel* unimod3 = new jstr::UnionModel("className");
+  TRY_EX(unimod3->disjoint(nullptr));
+  delete unimod3;
+  unimod3 = nullptr;
+  
 	std::string str1 = "ABC...Finished!";
   
     std::cout << "S" << str1 << std::endl;