First Implementation and Sub-specifications
Please hover over different parts of the implementation to see the corresponding sub-specifications.
f(x)=
substr(
x. false
x
x. false
,
x. false
0
x. false
,
x. false
5
x. false
)
x. false
+
strat(
h("Ducati100")="i" h("Honda125")=""
h("Ducati125")="i" h("Honda250")=""
h("Ducati250")="i" h("Honda550")=""
substr(
strat(h("Ducati100"), 0)="i" strat(h("Honda125"), 0)=""
strat(h("Ducati125"), 0)="i" strat(h("Honda250"), 0)=""
strat(h("Ducati250"), 0)="i" strat(h("Honda550"), 0)=""
x
strat(h("Ducati100"), 5)="i" strat(h("Honda125"), 5)=""
strat(h("Ducati125"), 5)="i" strat(h("Honda250"), 5)=""
strat(h("Ducati250"), 5)="i" strat(h("Honda550"), 5)=""
,
strat(h("Ducati100"), 0)="i" strat(h("Honda125"), 0)=""
strat(h("Ducati125"), 0)="i" strat(h("Honda250"), 0)=""
strat(h("Ducati250"), 0)="i" strat(h("Honda550"), 0)=""
5
h("Ducati100")=5 (h("Honda125")=-1 h("Honda125")=8)
h("Ducati125")=5 (h("Honda250")=-1 h("Honda250")=8)
h("Ducati250")=5 (h("Honda550")=-1 h("Honda550")=8)
,
strat(h("Ducati100"), 0)="i" strat(h("Honda125"), 0)=""
strat(h("Ducati125"), 0)="i" strat(h("Honda250"), 0)=""
strat(h("Ducati250"), 0)="i" strat(h("Honda550"), 0)=""
4
h("Ducati100")0 h("Honda125")0
h("Ducati125")0 h("Honda250")0
h("Ducati250")0 h("Honda550")0
)
strat(h("Ducati100"), 0)="i" strat(h("Honda125"), 0)=""
strat(h("Ducati125"), 0)="i" strat(h("Honda250"), 0)=""
strat(h("Ducati250"), 0)="i" strat(h("Honda550"), 0)=""
,
h("Ducati100")="i" h("Honda125")=""
h("Ducati125")="i" h("Honda250")=""
h("Ducati250")="i" h("Honda550")=""
0
h("Ducati100")=0 (h("Honda125")=-1 h("Honda125")=3)
h("Ducati125")=0 (h("Honda250")=-1 h("Honda250")=3)
h("Ducati250")=0 (h("Honda550")=-1 h("Honda550")=3)
)
h("Ducati100")="i" h("Honda125")=""
h("Ducati125")="i" h("Honda250")=""
h("Ducati250")="i" h("Honda550")=""