Skip to content

artifacts-unique-artifact-constraint-sat-none

Description

Unique artifact constraints is SAT since no 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
16
17
tosca_definitions_version: tosca_variability_1_0
topology_template:
    variability:
        options:
            type_pruning: true
            unique_artifact_constraint: true
            checks: false
    node_templates:
        node_one:
            type: node
            artifacts:
                - artifact_one:
                      type: artifact_a
                      conditions: false
                - artifact_one:
                      type: artifact_b
                      conditions: false

Variability-Resolved Service Template

The following variability-resolved service template is expected.

1
2
3
4
5
tosca_definitions_version: tosca_simple_yaml_1_3
topology_template:
    node_templates:
        node_one:
            type: node
Last update: November 18, 2024