Home My Page Projects Code Snippets Project Openings diderot
Summary Activity Tracker Tasks SCM

SCM Repository

[diderot] View of /branches/pure-cfg/test/bool.diderot
ViewVC logotype

View of /branches/pure-cfg/test/bool.diderot

Parent Directory Parent Directory | Revision Log Revision Log


Revision 1003 - (download) (annotate)
Thu Apr 28 19:07:21 2011 UTC (8 years, 7 months ago) by glk
File size: 267 byte(s)
demo of true and false
// bool
//
// no true or false?

bool maybe0 = 3 < 1;
bool maybe1 = true;
bool maybe2 = false;
strand sample (int ui, int vi) {
    output int out =  1;
    update {
        out = 1;
        stabilize;
    }
}

initially [ sample(ui, vi) | vi in 0..0 , ui in 0..0 ];

root@smlnj-gforge.cs.uchicago.edu
ViewVC Help
Powered by ViewVC 1.0.0