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

Published 20 hours ago • verified publisher icon viatra

VAMPIRE: Improve Containment Hierarchy

Open ArenBabikian opened this issue 5 years ago • 0 comments

Try new ways for Step 2 and 3 of containment handling. Use recursive subtypes for non-circular containment.

ArenBabikian avatar Apr 01 '19 19:04 ArenBabikian