---

or-class(X;Y) ==  inl-class(X) || inr-class(Y)

---

Definitions occuring in Statement :  inr-class: inr-class(X),  inl-class: inl-class(X),  parallel-class: X || Y
Definitions :  parallel-class: X || Y,  inl-class: inl-class(X),  inr-class: inr-class(X)
FDL editor aliases :  or-class

---

or-class(X;Y)  ==    inl-class(X)  ||  inr-class(Y)


Date html generated: 2011_08_16-PM-04_21_47
Last ObjectModification: 2011_01_20-PM-12_59_36

Home Index