Esempi in Python per directed_distance

Esempio n. 1

File: grid1_gt.py Progetto: CIDARLAB/stl-Sharp

f_69 = F.G(range(0, 30 + 1), f_68)
f_70 = F.add_predicate(2, "<=", 1.05)
f_71 = F.G(range(30, 45 + 1), f_70)
f_72 = F.Conj([f_69, f_71])
f_73 = F.add_predicate(2, "<=", 1.05)
f_74 = F.G(range(45, 105 + 1), f_73)
f_75 = F.add_predicate(2, ">=", 0.0)
f_76 = F.G(range(0, 15 + 1), f_75)
f_77 = F.Conj([f_74, f_76])
f_78 = F.Conj([f_72, f_77])
f_79 = F.add_predicate(2, ">=", 0.3)
f_80 = F.G(range(15, 45 + 1), f_79)
f_81 = F.add_predicate(2, ">=", 0.45)
f_82 = F.G(range(45, 60 + 1), f_81)
f_83 = F.Conj([f_80, f_82])
f_84 = F.add_predicate(2, ">=", 0.6)
f_85 = F.G(range(60, 75 + 1), f_84)
f_86 = F.add_predicate(2, ">=", 0.75)
f_87 = F.G(range(75, 90 + 1), f_86)
f_88 = F.Conj([f_85, f_87])
f_89 = F.Conj([f_83, f_88])
f_90 = F.Conj([f_78, f_89])
f_91 = F.add_predicate(2, ">=", 0.6)
f_92 = F.G(range(90, 105 + 1), f_91)
f_93 = F.Conj([f_90, f_92])
f_94 = F.Disj([f_67, f_93])
f_95 = F.Conj([f_44, f_94])

r = directed_distance(F, f_95, f_12)
print(r)

Esempio n. 2

File: grid4_gt.py Progetto: CIDARLAB/stl-Sharp

f_12 = F.Conj([f_5, f_11])
f_13 = F.add_predicate(1, "<=", 0.8)
f_14 = F.G(range(0, 30 + 1), f_13)
f_15 = F.add_predicate(1, "<=", 0.9)
f_16 = F.G(range(30, 60 + 1), f_15)
f_17 = F.Conj([f_14, f_16])
f_18 = F.add_predicate(1, "<=", 1.2)
f_19 = F.G(range(60, 120 + 1), f_18)
f_20 = F.add_predicate(1, ">=", 0.0)
f_21 = F.G(range(0, 30 + 1), f_20)
f_22 = F.Conj([f_19, f_21])
f_23 = F.Conj([f_17, f_22])
f_24 = F.add_predicate(1, ">=", 0.3)
f_25 = F.G(range(30, 60 + 1), f_24)
f_26 = F.add_predicate(1, ">=", 0.6)
f_27 = F.G(range(60, 120 + 1), f_26)
f_28 = F.Conj([f_25, f_27])
f_29 = F.Conj([f_23, f_28])
f_30 = F.add_predicate(2, "<=", 0.9)
f_31 = F.G(range(0, 30 + 1), f_30)
f_32 = F.add_predicate(2, "<=", 1.2)
f_33 = F.G(range(30, 120 + 1), f_32)
f_34 = F.Conj([f_31, f_33])
f_35 = F.add_predicate(2, ">=", 0.0)
f_36 = F.G(range(0, 120 + 1), f_35)
f_37 = F.Conj([f_34, f_36])
f_38 = F.Conj([f_29, f_37])

r = directed_distance(F, f_38, f_12)
print(r)

Esempio n. 3

f_15 = F.add_predicate(1, "<=", 1.05)
f_16 = F.G(range(35, 70 + 1), f_15)
f_17 = F.Conj([f_14, f_16])
f_18 = F.add_predicate(1, "<=", 1.25)
f_19 = F.G(range(70, 105 + 1), f_18)
f_20 = F.add_predicate(1, ">=", 0.0)
f_21 = F.G(range(0, 35 + 1), f_20)
f_22 = F.Conj([f_19, f_21])
f_23 = F.Conj([f_17, f_22])
f_24 = F.add_predicate(1, ">=", 0.35)
f_25 = F.G(range(35, 70 + 1), f_24)
f_26 = F.add_predicate(1, ">=", 0.7)
f_27 = F.G(range(70, 105 + 1), f_26)
f_28 = F.Conj([f_25, f_27])
f_29 = F.Conj([f_23, f_28])
f_30 = F.add_predicate(2, "<=", 0.95)
f_31 = F.G(range(0, 35 + 1), f_30)
f_32 = F.add_predicate(2, "<=", 1.05)
f_33 = F.G(range(35, 70 + 1), f_32)
f_34 = F.Conj([f_31, f_33])
f_35 = F.add_predicate(2, "<=", 1.25)
f_36 = F.G(range(70, 105 + 1), f_35)
f_37 = F.add_predicate(2, ">=", 0.0)
f_38 = F.G(range(0, 105 + 1), f_37)
f_39 = F.Conj([f_36, f_38])
f_40 = F.Conj([f_34, f_39])
f_41 = F.Conj([f_29, f_40])

r = directed_distance(F, f_12, f_41)
print(r)

Esempio n. 4

f_60 = F.G(range(0, 40 + 1), f_59)
f_61 = F.add_predicate(2, "<=", 1.0)
f_62 = F.G(range(40, 60 + 1), f_61)
f_63 = F.Conj([f_60, f_62])
f_64 = F.add_predicate(2, "<=", 1.1)
f_65 = F.G(range(60, 80 + 1), f_64)
f_66 = F.add_predicate(2, "<=", 1.1)
f_67 = F.G(range(80, 100 + 1), f_66)
f_68 = F.Conj([f_65, f_67])
f_69 = F.Conj([f_63, f_68])
f_70 = F.add_predicate(2, ">=", 0.0)
f_71 = F.G(range(0, 20 + 1), f_70)
f_72 = F.add_predicate(2, ">=", 0.2)
f_73 = F.G(range(20, 40 + 1), f_72)
f_74 = F.Conj([f_71, f_73])
f_75 = F.add_predicate(2, ">=", 0.4)
f_76 = F.G(range(40, 60 + 1), f_75)
f_77 = F.add_predicate(2, ">=", 0.6)
f_78 = F.G(range(60, 80 + 1), f_77)
f_79 = F.Conj([f_76, f_78])
f_80 = F.Conj([f_74, f_79])
f_81 = F.Conj([f_69, f_80])
f_82 = F.add_predicate(2, ">=", 0.8)
f_83 = F.G(range(80, 100 + 1), f_82)
f_84 = F.Conj([f_81, f_83])
f_85 = F.Disj([f_58, f_84])
f_86 = F.Conj([f_38, f_85])

r = directed_distance(F, f_86, f_12)
print(r)