aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorIan Hinder <ian.hinder@aei.mpg.de>2013-09-09 18:06:02 +0200
committerIan Hinder <ian.hinder@aei.mpg.de>2013-09-09 18:06:02 +0200
commitf6fa55eecc96f923a2a620cb844284bf0482adf4 (patch)
treed5dfe7794b367d7314c95ef9a416c61c5f540789
parentb5ceb9a9484777095620be4570f260804323b8a5 (diff)
KrancThorn.m: Move two functions to KrancGroups.m
-rw-r--r--Tools/CodeGen/KrancGroups.m12
-rw-r--r--Tools/CodeGen/KrancThorn.m10
2 files changed, 12 insertions, 10 deletions
diff --git a/Tools/CodeGen/KrancGroups.m b/Tools/CodeGen/KrancGroups.m
index 3866c42..51dd224 100644
--- a/Tools/CodeGen/KrancGroups.m
+++ b/Tools/CodeGen/KrancGroups.m
@@ -54,6 +54,8 @@ GroupTimelevels;
allGroupVariables;
NonevolvedTimelevels;
CheckGroups;
+VerifyGroupNames;
+VerifyGroups;
Begin["`Private`"];
@@ -266,6 +268,16 @@ CheckGroups[groups_] :=
ThrowError["Variable names and group names must be distinct. Group names which are also variable names:", int]];
];
+VerifyGroups[gs_] :=
+ If[!ListQ[gs],
+ ThrowError["Not a list of group definitions: ", gs],
+ Map[VerifyGroup, gs]];
+
+VerifyGroupNames[gns_] :=
+ If[!ListQ[gns],
+ ThrowError["Not a list of group names: ", gns],
+ Map[VerifyGroupName, gns]];
+
End[];
EndPackage[];
diff --git a/Tools/CodeGen/KrancThorn.m b/Tools/CodeGen/KrancThorn.m
index efe0292..f07ce08 100644
--- a/Tools/CodeGen/KrancThorn.m
+++ b/Tools/CodeGen/KrancThorn.m
@@ -41,16 +41,6 @@ Begin["`Private`"];
Utility functions
-------------------------------------------------------------------------- *)
-VerifyGroups[gs_] :=
- If[!ListQ[gs],
- ThrowError["Not a list of group definitions: ", gs],
- Map[VerifyGroup, gs]];
-
-VerifyGroupNames[gns_] :=
- If[!ListQ[gns],
- ThrowError["Not a list of group names: ", gns],
- Map[VerifyGroupName, gns]];
-
cktCheckNamedArgs[l_] :=
Module[{used, unrecognized},
used = Map[First, l];