87 lines
2.3 KiB
Plaintext
87 lines
2.3 KiB
Plaintext
network model =
|
|
assets:
|
|
# Cars
|
|
car1;
|
|
car2;
|
|
car3;
|
|
car4;
|
|
car5;
|
|
car6;
|
|
|
|
facts:
|
|
quality:car1,brake_months=0;
|
|
quality:car1,exhaust_months=0;
|
|
quality:car1,ac_odometer=0;
|
|
quality:car1,vacuum_odometer=0;
|
|
quality:car1,engine=gas;
|
|
quality:car1,brake_vio=false;
|
|
quality:car1,exhaust_vio=false;
|
|
quality:car1,ac_vio=false;
|
|
quality:car1,vacuum_vio=false;
|
|
quality:car1,compliance_vio=false;
|
|
quality:car1,TIME_ADVANCE_STEP=0;
|
|
|
|
quality:car2,brake_months=0;
|
|
quality:car2,exhaust_months=0;
|
|
quality:car2,ac_odometer=0;
|
|
quality:car2,vacuum_odometer=0;
|
|
quality:car2,engine=diesel;
|
|
quality:car2,brake_vio=false;
|
|
quality:car2,exhaust_vio=false;
|
|
quality:car2,ac_vio=false;
|
|
quality:car2,vacuum_vio=false;
|
|
quality:car2,compliance_vio=false;
|
|
quality:car2,TIME_ADVANCE_STEP=0;
|
|
|
|
quality:car3,brake_months=0;
|
|
quality:car3,exhaust_months=0;
|
|
quality:car3,ac_odometer=0;
|
|
quality:car3,vacuum_odometer=0;
|
|
quality:car3,engine=gas;
|
|
quality:car3,brake_vio=false;
|
|
quality:car3,exhaust_vio=false;
|
|
quality:car3,ac_vio=false;
|
|
quality:car3,vacuum_vio=false;
|
|
quality:car3,compliance_vio=false;
|
|
quality:car3,TIME_ADVANCE_STEP=0;
|
|
|
|
quality:car4,brake_months=0;
|
|
quality:car4,exhaust_months=0;
|
|
quality:car4,ac_odometer=0;
|
|
quality:car4,vacuum_odometer=0;
|
|
quality:car4,engine=diesel;
|
|
quality:car4,brake_vio=false;
|
|
quality:car4,exhaust_vio=false;
|
|
quality:car4,ac_vio=false;
|
|
quality:car4,vacuum_vio=false;
|
|
quality:car4,compliance_vio=false;
|
|
quality:car4,TIME_ADVANCE_STEP=0;
|
|
|
|
quality:car5,brake_months=0;
|
|
quality:car5,exhaust_months=0;
|
|
quality:car5,ac_odometer=0;
|
|
quality:car5,vacuum_odometer=0;
|
|
quality:car5,engine=gas;
|
|
quality:car5,brake_vio=false;
|
|
quality:car5,exhaust_vio=false;
|
|
quality:car5,ac_vio=false;
|
|
quality:car5,vacuum_vio=false;
|
|
quality:car5,compliance_vio=false;
|
|
quality:car5,TIME_ADVANCE_STEP=0;
|
|
|
|
quality:car6,brake_months=0;
|
|
quality:car6,exhaust_months=0;
|
|
quality:car6,ac_odometer=0;
|
|
quality:car6,vacuum_odometer=0;
|
|
quality:car6,engine=diesel;
|
|
quality:car6,brake_vio=false;
|
|
quality:car6,exhaust_vio=false;
|
|
quality:car6,ac_vio=false;
|
|
quality:car6,vacuum_vio=false;
|
|
quality:car6,compliance_vio=false;
|
|
quality:car6,TIME_ADVANCE_STEP=0;
|
|
|
|
topology:car1<->car2,road;
|
|
tags:
|
|
.
|