Step 1: edit component model

Load a JSON file description, or complete the existing sample below.



Step 2: configure combinatorial unfolding

Number of instances

Component typeMin.Max.

Maximal number of instances:

Step 3: define useful functions

Write the function that will be used as an invariant, applied to each component, designated by self in the function.

Define, for each data type, the function that will be used to instantiate parameters.

Data typeInstantiation function

Data generation

Here is the result of the data generation.

Solution /

Step 1: load Instances description

Load a JSON instances description file, or complete the existing sample below.



Step 2: define component complexity parameters

Step 3: Clustering results:

Select distance function :

Choose number of clusters :