sc-program(t;voters;clients) ==
<sc-env(t;voters;clients), sc-rules(voters;clients)>
Definitions :
sc-rules: sc-rules(voters;clients),
sc-env: sc-env(t;voters;clients),
pair: <a, b>
FDL editor aliases :
sc-program
sc-program(t;voters;clients) == <sc-env(t;voters;clients), sc-rules(voters;clients)>
Date html generated:
2010_08_30-AM-12_59_10
Last ObjectModification:
2010_08_23-PM-01_42_43
Home
Index