generated from potassco/python-project-template
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathkids-bike-coom.lp
56 lines (51 loc) · 1.8 KB
/
kids-bike-coom.lp
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
coom_structure("product").
coom_feature("product","color","Color",1,1).
coom_feature("product","wheelSupport","Bool",1,1).
coom_feature("product","frontWheel","Wheel",1,1).
coom_feature("product","rearWheel","Wheel",1,1).
coom_enumeration("Color").
coom_option("Color", "Red").
coom_option("Color", "Green").
coom_option("Color", "Yellow").
coom_option("Color", "Blue").
coom_enumeration("Wheel").
coom_attribute("Wheel","size","num").
coom_option("Wheel", "W14").
coom_attribute_value("Wheel","W14","size",14).
coom_option("Wheel", "W16").
coom_attribute_value("Wheel","W16","size",16).
coom_option("Wheel", "W18").
coom_attribute_value("Wheel","W18","size",18).
coom_option("Wheel", "W20").
coom_attribute_value("Wheel","W20","size",20).
coom_behavior(0).
coom_context(0,"product").
coom_condition(0,"color=Yellow").
coom_binary("color=Yellow","color","=","Yellow").
coom_path("color",0,"color").
coom_constant("Yellow").
coom_require(0,"frontWheel.size>16").
coom_binary("frontWheel.size>16","frontWheel.size",">","16").
coom_path("frontWheel.size",0,"frontWheel").
coom_path("frontWheel.size",1,"size").
coom_number("16",16).
coom_behavior(1).
coom_context(1,"product").
coom_combinations(1,0,"wheelSupport").
coom_combinations(1,1,"rearWheel").
coom_path("wheelSupport",0,"wheelSupport").
coom_path("rearWheel",0,"rearWheel").
coom_allow(1,(0,0),"True").
coom_allow(1,(1,0),"W14").
coom_allow(1,(1,0),"W16").
coom_allow(1,(0,1),"False").
coom_allow(1,(1,1),"W18").
coom_allow(1,(1,1),"W20").
coom_behavior(2).
coom_context(2,"product").
coom_require(2,"frontWheel.size=rearWheel.size").
coom_binary("frontWheel.size=rearWheel.size","frontWheel.size","=","rearWheel.size").
coom_path("frontWheel.size",0,"frontWheel").
coom_path("frontWheel.size",1,"size").
coom_path("rearWheel.size",0,"rearWheel").
coom_path("rearWheel.size",1,"size").