Skip to content

artifacts-unique-artifact-constraint-sat-one

Description

Unique artifact constraints is SAT since one artifact is present.

Variable Service Template

The variability of the following variable service template shall be resolved.

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
tosca_definitions_version: tosca_variability_1_0
topology_template:
    variability:
        options:
            type_pruning: true
            unique_artifact_constraint: true
    node_templates:
        node_one:
            type: node
            artifacts:
                - artifact_one:
                      type: artifact_a
                - artifact_one:
                      type: artifact_b
                      conditions: false

Variability-Resolved Service Template

The following variability-resolved service template is expected.

1
2
3
4
5
6
7
8
tosca_definitions_version: tosca_simple_yaml_1_3
topology_template:
    node_templates:
        node_one:
            type: node
            artifacts:
                artifact_one:
                    type: artifact_a
Last update: May 15, 2025