/** The main body of this process. */
public void run() {
final One2OneChannelInt a = Channel.one2oneInt();
final One2OneChannelInt b = Channel.one2oneInt();
final One2OneChannelInt c = Channel.one2oneInt();
new Parallel(
new CSProcess[] {
new Delta2Int(in, a.out(), b.out()),
new PlusInt(a.in(), c.in(), out),
new TailInt(b.in(), c.out())
})
.run();
}
public static void main(String[] argv) {
final One2OneChannelInt a = Channel.one2oneInt();
final One2OneChannelInt b = Channel.one2oneInt();
new Parallel(
new CSProcess[] {
new NumbersInt(a.out()),
new SuccessorInt(a.in(), b.out()),
new PrinterInt(b.in(), "--> ", "\n")
})
.run();
}
public static void main(String[] argv) {
final One2OneChannelInt a = Channel.one2oneInt();
final One2OneChannelInt b = Channel.one2oneInt();
final One2OneChannelInt c = Channel.one2oneInt();
final One2OneChannelInt d = Channel.one2oneInt();
new Parallel(
new CSProcess[] {
new NumbersInt(a.out()),
new GenerateInt(b.out(), Integer.MAX_VALUE - 1),
new NandInt(a.in(), b.in(), c.out()),
new SuccessorInt(c.in(), d.out()),
new PrinterInt(d.in(), "--> ", "\n")
})
.run();
}