refinementsParseUrd

This commit is contained in:
virk.shafqat
2012-11-04 17:06:32 +00:00
parent 0301db4724
commit 7c04eede85
7 changed files with 78 additions and 16 deletions

View File

@@ -6,4 +6,5 @@ abstract ExtraUrdAbs = Extra ** {
each_Det : Det ;
have_V : V;
cost_V : V;
UncNeg : Pol ;
}