[DEECo] [d3scomp/JDEECo] cefaeb: classes for JPF checking of atomic propositions in...

[GitHub]

  Branch: refs/heads/master
  Home:   https://github.com/d3scomp/JDEECo
  Commit: cefaebaf04aba0a969e3aea2ff6fdba5ffe779fb
      https://github.com/d3scomp/JDEECo/commit/cefaebaf04aba0a969e3aea2ff6fdba5ffe779fb
  Author: Jaroslav Keznikl <jaroslav.keznikl at gmail.com>
  Date:   2013-03-07 (Thu, 07 Mar 2013)

  Changed paths:
    M jdeeco-jpf/pom.xml
    A jdeeco-jpf/src/cz/cuni/mff/d3s/deeco/knowledge/local/KnowledgeJPF.java
    A jdeeco-jpf/src/cz/cuni/mff/d3s/deeco/knowledge/local/LocalKnowledgeRepositoryJPF.java
    A jdeeco-jpf/src/cz/cuni/mff/d3s/deeco/ltl/AtomicProposition.java
    A jdeeco-jpf/src/cz/cuni/mff/d3s/deeco/ltl/LocalLauncherExampleJPF.java

  Log Message:
  -----------
  classes for JPF checking of atomic propositions in LTL formulas