32 lines
723 B
Plaintext
Executable File
32 lines
723 B
Plaintext
Executable File
exploit create_cda(a)=
|
|
preconditions:
|
|
quality:a,critical=true;
|
|
quality:a,digital=true;
|
|
postconditions:
|
|
insert quality:a,cda=true;
|
|
.
|
|
|
|
exploit expand_critical_1_1(a, b)=
|
|
preconditions:
|
|
quality:a,critical=true;
|
|
topology:a->b,physical;
|
|
postconditions:
|
|
insert quality:b,critical=true;
|
|
.
|
|
|
|
exploit expand_critical_2_1(a, b)=
|
|
preconditions:
|
|
quality:a,critical=true;
|
|
topology:b->a,physical;
|
|
postconditions:
|
|
insert quality:b,critical=true;
|
|
.
|
|
|
|
#exploit expand_critical_1_2(a, b)=
|
|
# preconditions:
|
|
# quality:a,critical=true;
|
|
# topology:a<->b,physical;
|
|
# postconditions:
|
|
# insert quality:b,critical=true;
|
|
#.
|