Changeset 5a06b22 in git for factory/cfCharSets.cc

Timestamp:

May 8, 2014, 6:15:22 PM (10 years ago)

Author:

Martin Lee <martinlee84@…>

Branches:

(u'spielwiese', '2a584933abf2a2d3082034c7586d38bb6de1a30a')

Children:

b17fa5fc9eda365fb2095c16d40c59a2c1e4db02

Parents:

2ed604a09e127188d784bc2189e15095cbbdc700

git-author:

Martin Lee <martinlee84@web.de>2014-05-08 18:15:22+02:00

git-committer:

Martin Lee <martinlee84@web.de>2014-05-12 14:35:03+02:00

Message:

chg: more renaming

File:

• factory/cfCharSets.cc (modified) (3 diffs)

factory/cfCharSets.cc

@@ -428 +428 @@
     l= tmp.getFirst();
 
-    tmp= MyDifference (tmp, l);
+    tmp= minus (tmp, l);
 
     select (ppi, l.length(), ppi1, ppi2);
 
-    MyUnion2 (ppi2, qqi);
+    inplaceUnion (ppi2, qqi);
 
     if (count > 0)
@@ -597 +597 @@
     select (ppi, qs.length(), ppi1, ppi2);
 
-    MyUnion2 (ppi2, qqi);
+    inplaceUnion (ppi2, qqi);
 
     if (nr_of_iteration == 0)
@@ -622 +622 @@
       if (indexRed <= 0) // irreducible
       {
-        if (!subset (cs,qs))
+        if (!isSubset (cs,qs))
           cs= charSetViaCharSetN (Union (qs,cs));
-        if (!member (cs, pi))
+        if (!isMember (cs, pi))
         {
           pi= MyUnion (pi, ListCFList (cs));