20 import ca.uqac.lif.cep.Connector;
21 import ca.uqac.lif.cep.Pushable;
22 import ca.uqac.lif.cep.io.Print;
23 import ca.uqac.lif.cep.ltl.Globally;
35 public static void main(String[] args)
38 Globally g =
new Globally();
39 Print print =
new Print();
40 print.setPrefix(
"Output: ").setSeparator(
"\n");
41 Connector.connect(g, print);
42 Pushable p = g.getPushableInput();
43 System.out.println(
"Pushing true");
45 System.out.println(
"Pushing true");
49 System.out.println(
"Pushing false");
51 System.out.println(
"Pushing true");
Basic usage of LTL's Globally processor.