1
0
forked from GitHub/gf-core

added auxV2V (parallel to auxVV)

This commit is contained in:
andrea.christina.unger
2015-05-27 14:47:35 +00:00
parent a1c5cfb55f
commit b2cef847b2
3 changed files with 17 additions and 7 deletions

View File

@@ -300,10 +300,14 @@ mkV2 : overload {
mkV0 : V -> V0 ; --%
mkVS : V -> VS ;
mkV2V : overload {
mkV2V : overload { -- with zu
mkV2V : V -> V2V ;
mkV2V : V -> Prep -> V2V ;
} ;
auxV2V : overload { -- without zu
auxV2V : V -> V2V ;
auxV2V : V -> Prep -> V2V ;
} ;
mkV2A : overload {
mkV2A : V -> V2A ;
mkV2A : V -> Prep -> V2A ;
@@ -602,6 +606,12 @@ mkV2 : overload {
mkV2V : V -> Prep -> V2V
= \v,p -> prepV2 v p ** {isAux = False ; lock_V2V = <>} ;
} ;
auxV2V = overload {
auxV2V : V -> V2V
= \v -> dirV2 v ** {isAux = True ; lock_V2V = <>} ;
auxV2V : V -> Prep -> V2V
= \v,p -> prepV2 v p ** {isAux = True ; lock_V2V = <>} ;
} ;
mkV2A = overload {
mkV2A : V -> V2A
= \v -> dirV2 v ** {isAux = False ; lock_V2A = <>} ;