[DEECo] [d3scomp/JDEECo] 2d3daa: testing support for LTL

[GitHub]

  Branch: refs/heads/master
  Home:   https://github.com/d3scomp/JDEECo
  Commit: 2d3daa4e8e87915f8e2925af0ad2a58cabeb6ec1
      https://github.com/d3scomp/JDEECo/commit/2d3daa4e8e87915f8e2925af0ad2a58cabeb6ec1
  Author: pparizek <parizek at d3s.mff.cuni.cz>
  Date:   2013-06-07 (Fri, 07 Jun 2013)

  Changed paths:
    A jdeeco-demo/META-INF/CONVOYTUT.MF
    M jdeeco-demo/build.xml
    M jdeeco-demo/jpfProperties/LocalLauncherConvoyLTL.jpf
    M jdeeco-demo/pom.xml
    A jdeeco-demo/site.properties
    R jdeeco-demo/src/cz/cuni/mff/d3s/deeco/demo/convoy/LocalLauncherConvoyLTL.java
    A jdeeco-demo/src/cz/cuni/mff/d3s/deeco/demo/convoytut/ConvoyEnsemble.java
    A jdeeco-demo/src/cz/cuni/mff/d3s/deeco/demo/convoytut/Follower.java
    A jdeeco-demo/src/cz/cuni/mff/d3s/deeco/demo/convoytut/LeaderA.java
    A jdeeco-demo/src/cz/cuni/mff/d3s/deeco/demo/convoytut/LeaderB.java
    A jdeeco-demo/src/cz/cuni/mff/d3s/deeco/demo/convoytut/LocalLauncherLTL.java
    A jdeeco-demo/src/cz/cuni/mff/d3s/deeco/demo/convoytut/Waypoint.java

  Log Message:
  -----------
  testing support for LTL