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.

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: December 4, 2024