[DEECo] [d3scomp/JDEECo] 3a272f: hotifx: atomic propostions are not evaluated durin...

[GitHub]

  Branch: refs/heads/master
  Home:   https://github.com/d3scomp/JDEECo
  Commit: 3a272f87fe67d404fea30d7f10f8e34af27104af
      https://github.com/d3scomp/JDEECo/commit/3a272f87fe67d404fea30d7f10f8e34af27104af
  Author: keznikl <jaroslav.keznikl at gmail.com>
  Date:   2013-06-27 (Thu, 27 Jun 2013)

  Changed paths:
    M jdeeco-demo/src/cz/cuni/mff/d3s/deeco/demo/convoytut/LocalLauncherLTL.java
    M jdeeco-jpf/src/cz/cuni/mff/d3s/deeco/knowledge/local/LocalKnowledgeRepositoryJPF.java

  Log Message:
  -----------
  hotifx: atomic propostions are not evaluated during initialization