---

sc-env(t;voters;clients) ==
  [<"input", mk-base(sc-Inputs(voters))>; 
   
   <"vote", mk-base(sc-Votes(voters))>;
    
   <"sc1", mk-combdef(SimpleConsensus1(t))>;
    
   <"sc2", mk-combdef(SimpleConsensus2())>;
    
   <"+", mk-combdef(DisjointUnionComb())>;
    
   <"left", mk-combdef(LeftComb(    ))>;
    
   <"right", mk-combdef(RightComb(  ))>]

---

Definitions :  sc-Inputs: sc-Inputs(locs),  mk-base: mk-base(x),  sc-Votes: sc-Votes(locs),  SimpleConsensus1: SimpleConsensus1(t),  SimpleConsensus2: SimpleConsensus2(),  DisjointUnionComb: DisjointUnionComb(),  LeftComb: LeftComb(A),  cons: [car / cdr],  pair: <a, b>,  token: "$token",  mk-combdef: mk-combdef(c),  RightComb: RightComb(A),  product: x:A  B[x],  nat: ,  int: ,  nil: []
FDL editor aliases :  sc-env

---

sc-env(t;voters;clients)  ==
    [<"input",  mk-base(sc-Inputs(voters))> 
     
      <"vote",  mk-base(sc-Votes(voters))>
       
      <"sc1",  mk-combdef(SimpleConsensus1(t))>
       
      <"sc2",  mk-combdef(SimpleConsensus2())>
       
      <"+",  mk-combdef(DisjointUnionComb())>
       
      <"left",  mk-combdef(LeftComb(\mBbbN{}  \mtimes{}  \mBbbN{}  \mtimes{}  \mBbbZ{}))>  <"right",  mk-combdef(RightComb(\mBbbN{}  \mtimes{}  \mBbbZ{}))>]


Date html generated: 2010_08_27-PM-08_31_36
Last ObjectModification: 2010_06_24-AM-10_47_18

Home Index