Attack Tree >> Attack Tree > atkTr_seq

atkTr_seq

sorted distribution tlist sequential conjunction (seq)

Calling Sequence

Z=atkTr_seq(X,Y)

Parameters

X :: a sorted distribution tlist
Y :: a sorted distribution tlist
Z :: a sorted distribution tlist

Description

Returns Z the sorted distribution tlist sequential conjunction of X and Y defined by :

Examples

X=tlist(['distribution','state','probability'],[2,9,15],[0.25,0.5,0.25])
Y=tlist(['distribution','state','probability'],[5,7],[0.3,0.7])
Z=atkTr_seq(X,Y)
// Expected : Z.state        7.    9.    14.  16.  20.   22.
//            Z.probability  0.075 0.175 0.15 0.35 0.075 0.175

Report an issue
<< atkTr_saveDist	Attack Tree	atkTr_sortState >>