Optimization Project home page.

ODB Tools

---

The Company Domain Constraint Rules

---

• rule1 (on class Manager) says that all managers whose level is between 5 and 10 own a salary ranging from $ 40K to $ 60K .

• rule2 (on class Material) says that all materials whose risk is greater than 10 are smaterials.

• rule3 (on class Storage) says that each storage whose category is "B4" is managed by a top manager (TManager).

• rule4 (on class Storage) says that each storage stocking only special materials (SMaterial) is a special storage (SStorage).

• rule5 (on class Storage) says that each storage stocking a quantity of materials between 10 and 50 is a category "A2" storage .

rule rule1 forall X in Manager: X.level >= 5 and X.level <= 10 
   then           X.salary >= 40000 and X.salary <= 60000 ;

rule rule2 forall X in Material: X.risk >=  10 
   then           X in SMaterial ;

rule rule3 forall X in Storage:  X.category = "B4"
   then           X.managed_by in TManager ;

rule rule4 forall X in Storage: for all X1 in X.stock: 
                                X1.item in SMaterial
   then           X in SStorage ;

rule rule5 forall X1 in X.stock: X1.qty >= 10 and 
                                 X1.qty <=50 
   then           X.category = "A2" ;