---

UseableAtoms(e) ==
  if e  Rcv then sdata-atoms(Rcv(e))
  if e  Sign then [signature(e)]
  if e  Encrypt then [cipherText(e)]
  if e  Decrypt then sdata-atoms(plainText(e))
  if e  New then [New(e)]
  else []
  fi 

---

Definitions :  ses-rcv: Rcv,  ses-sign: Sign,  ses-sig: signature(e),  ses-encrypt: Encrypt,  ses-crypt: cipherText(e),  ses-decrypt: Decrypt,  sdata-atoms: sdata-atoms(d),  ses-decrypted: plainText(e),  ifthenelse: if b then t else f fi ,  in-eclass: e  X,  cons: [car / cdr],  eclass-val: X(e),  ses-new: New,  nil: []
FDL editor aliases :  ses-useable-atoms

---

UseableAtoms(e)  ==
    if  e  \mmember{}\msubb{}  Rcv  then  sdata-atoms(Rcv(e))
    if  e  \mmember{}\msubb{}  Sign  then  [signature(e)]
    if  e  \mmember{}\msubb{}  Encrypt  then  [cipherText(e)]
    if  e  \mmember{}\msubb{}  Decrypt  then  sdata-atoms(plainText(e))
    if  e  \mmember{}\msubb{}  New  then  [New(e)]
    else  []
    fi 


Date html generated: 2010_08_28-AM-02_41_41
Last ObjectModification: 2010_02_22-PM-11_18_03

Home Index