VIATRA-Generator icon indicating copy to clipboard operation
VIATRA-Generator copied to clipboard

Published 20 hours ago • verified publisher icon viatra

VAMPIRE: Use "type" formulas more efficiently fo the Vampire input

Open ArenBabikian opened this issue 5 years ago • 0 comments

Translate the types in the metamodel as "type" fof formulas and use these formulas rom the output.

ArenBabikian avatar Sep 02 '19 04:09 ArenBabikian