File

Add a model into the meta-model stack:

Model Name:
Metamodel stack:

Perform Termination Analysis:
Perform Transformation:
Completion rules
Production rules
Conformance check:

Turn on/off Simulation
Transformation Results:

Critical Pair Discovery:

Signature

Build New Predicate:

Predicate Name:
Parameters:
Display Name:
Node Name:

Source Node:
Target Node:
Edge Name:

Selected Element:
Predicates:

Completion Rules

Display typing of Nodes
Display typing of Edges

Build New Rule:

Rule Id:
Layer number:
Node Type:
Node Name:

Edge Type:
Source Node:
Target Node:
Edge Name:

Assign Tag:

Rules linked to the current predicate:

Layering of rules:

Production Rules

Display typing of Nodes
Display typing of Edges

Build New Rule:

Rule Id:
Layer number:
Node Type:
Node Name:

Edge Type:
Source Node:
Target Node:
Edge Name:

Assign Tag:

Rules linked to the current predicate:

Layering of rules:

Add annotation:

Model

Display typing of Nodes
Display typing of Edges
Display typing of Selected Elements

Node Properties:

Node Type:
Node Name:
Potency:

Edge Properties:

Edge Type:
Source Node:
Target Node:
Edge Name:
Potency:

Add constraint:

Model Navigation

Select Drawing Area:
Search Item:

Reach Nodes:

Auto Arrange