refinementsParseUrd

This commit is contained in:
virk.shafqat
2012-11-04 17:06:32 +00:00
parent 041f649630
commit 651bf5bca3
7 changed files with 78 additions and 16 deletions
+1
View File
@@ -6,4 +6,5 @@ abstract ExtraUrdAbs = Extra ** {
each_Det : Det ;
have_V : V;
cost_V : V;
UncNeg : Pol ;
}