30 lines
589 B
Plaintext
30 lines
589 B
Plaintext
exploit brake_pads(car1)=
|
|
preconditions:
|
|
quality:car1,months=6;
|
|
quality:car1,is_in_compliance=true;
|
|
postconditions:
|
|
update quality:car1,is_in_compliance=false;
|
|
.
|
|
|
|
exploit exhaust_pipes(car2)=
|
|
preconditions:
|
|
quality:car2,months=6;
|
|
quality:car2,is_in_compliance=true;
|
|
postconditions:
|
|
update quality:car2,is_in_compliance=false;
|
|
.
|
|
|
|
exploit compliance(car1)=
|
|
preconditions:
|
|
quality:car1,is_in_compliance=false;
|
|
postconditions:
|
|
insert quality:car1,reg=true;
|
|
.
|
|
|
|
exploit error(car1)=
|
|
preconditions:
|
|
quality:car1,months>8;
|
|
postconditions:
|
|
insert quality:car1,e=true;
|
|
.
|