85 lines
1.9 KiB
Plaintext
85 lines
1.9 KiB
Plaintext
network model =
|
|
assets:
|
|
# Cars
|
|
car1;
|
|
car2;
|
|
|
|
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;
|
|
|
|
#Engine Oil
|
|
quality:car1,oil_odom=0;
|
|
quality:car1,oil_vio=false;
|
|
|
|
#Drive Shaft Boots
|
|
quality:car1,driveshaft_odom=0;
|
|
quality:car1,driveshaft_vio=false;
|
|
|
|
#Engine Coolant
|
|
quality:car1,coolant_odom=0;
|
|
quality:car1,coolant_vio=false;
|
|
|
|
#Parking Brake
|
|
quality:car1,parkingbrake_months=0;
|
|
quality:car1,parkingbrake_vio=false;
|
|
|
|
#Brake Pipes
|
|
quality:car1,brakepipe_months=0;
|
|
quality:car1,brakepipe_vio=false;
|
|
|
|
#Brake Hoses
|
|
quality:car1,brakehoses_months=0;
|
|
quality:car1,brakehoses_vio=false;
|
|
|
|
#######CAR 2########
|
|
|
|
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;
|
|
|
|
#Engine Oil
|
|
quality:car2,oil_odom=0;
|
|
quality:car2,oil_vio=false;
|
|
|
|
#Drive Shaft Boots
|
|
quality:car2,driveshaft_odom=0;
|
|
quality:car2,driveshaft_vio=false;
|
|
|
|
#Engine Coolant
|
|
quality:car2,coolant_odom=0;
|
|
quality:car2,coolant_vio=false;
|
|
|
|
#Parking Brake
|
|
quality:car2,parkingbrake_months=0;
|
|
quality:car2,parkingbrake_vio=false;
|
|
|
|
#Brake Pipes
|
|
quality:car2,brakepipe_months=0;
|
|
quality:car2,brakepipe_vio=false;
|
|
|
|
#Brake Hoses
|
|
quality:car2,brakehoses_months=0;
|
|
quality:car2,brakehoses_vio=false;
|
|
|
|
topology:car1<->car2,road;
|
|
tags:
|
|
.
|