Minors

hkff · Dec 7, 2015 · 0f50e4f · 0f50e4f
1 parent 2381d13
commit 0f50e4f
Show file tree

Hide file tree

Showing 9 changed files with 55 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -0,0 +1 @@
+.idea/workspace.xml
diff --git a/.idea/.name b/.idea/.name
diff --git a/.idea/encodings.xml b/.idea/encodings.xml
diff --git a/.idea/fodtlmon.iml b/.idea/fodtlmon.iml
diff --git a/.idea/misc.xml b/.idea/misc.xml
diff --git a/.idea/modules.xml b/.idea/modules.xml
diff --git a/.idea/vcs.xml b/.idea/vcs.xml
diff --git a/ltl/ltlmon.py b/ltl/ltlmon.py
diff --git a/test.py b/test.py
@@ -0,0 +1,8 @@
+__author__ = 'hkff'
+
+from ltl.ltl import *
+from ltl.ltlmon import *
+
+a = G(F(True))
+aa = Always(True)
+print(prg(a, None))