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

Published 20 hours ago • verified publisher icon viatra

VAMPIRE: Fix Assertion Handling

Open ArenBabikian opened this issue 5 years ago • 0 comments

  1. Handling \forall, \exists in rules
  2. Handling distinctness of types
  3. Handling case where ~Distinct
  4. Handling Queries -> (RelationDefinitions)
  5. Handling Initial Models -> (TypeDefinition, similar to Enum, + Defined/nonDefined elements, + containment hierarchy)

ArenBabikian avatar Apr 01 '19 18:04 ArenBabikian