Example4 added

MORZorg · Jul 9, 2013 · 71f9a72 · 71f9a72
1 parent 9f58983
commit 71f9a72
Show file tree

Hide file tree

Showing 36 changed files with 66 additions and 43 deletions.
diff --git a/Debug/SemOpt b/Debug/SemOpt
diff --git a/Debug/src/AF.d b/Debug/src/AF.d
@@ -1,5 +1,5 @@
 src/AF.d: ../src/AF.cpp ../src/AF.h ../src/Argument.h \
-  ../src/SetArguments.h ../src/SymbolicArgumentsSet.h ../src/Labelling.h
+ ../src/SetArguments.h ../src/SymbolicArgumentsSet.h ../src/Labelling.h
 
 ../src/AF.h:
 

diff --git a/Debug/src/AF.o b/Debug/src/AF.o
diff --git a/Debug/src/Argument.d b/Debug/src/Argument.d
@@ -1,5 +1,5 @@
 src/Argument.d: ../src/Argument.cpp ../src/Argument.h ../src/AF.h \
-  ../src/SetArguments.h ../src/SymbolicArgumentsSet.h ../src/Labelling.h
+ ../src/SetArguments.h ../src/SymbolicArgumentsSet.h ../src/Labelling.h
 
 ../src/Argument.h:
 

diff --git a/Debug/src/Argument.o b/Debug/src/Argument.o
diff --git a/Debug/src/Labelling.d b/Debug/src/Labelling.d
@@ -1,6 +1,6 @@
 src/Labelling.d: ../src/Labelling.cpp ../src/Labelling.h \
-  ../src/SetArguments.h ../src/Argument.h ../src/AF.h \
-  ../src/SymbolicArgumentsSet.h
+ ../src/SetArguments.h ../src/Argument.h ../src/AF.h \
+ ../src/SymbolicArgumentsSet.h
 
 ../src/Labelling.h:
 

diff --git a/Debug/src/Labelling.o b/Debug/src/Labelling.o
diff --git a/Debug/src/OrClause.d b/Debug/src/OrClause.d
@@ -1,6 +1,6 @@
 src/OrClause.d: ../src/OrClause.cpp ../src/OrClause.h ../src/Argument.h \
-  ../src/AF.h ../src/SetArguments.h ../src/SymbolicArgumentsSet.h \
-  ../src/Labelling.h
+ ../src/AF.h ../src/SetArguments.h ../src/SymbolicArgumentsSet.h \
+ ../src/Labelling.h
 
 ../src/OrClause.h:
 

diff --git a/Debug/src/OrClause.o b/Debug/src/OrClause.o
diff --git a/Debug/src/Preferred.d b/Debug/src/Preferred.d
@@ -1,6 +1,6 @@
 src/Preferred.d: ../src/Preferred.cpp ../src/Preferred.h ../src/AF.h \
-  ../src/Argument.h ../src/SetArguments.h ../src/SymbolicArgumentsSet.h \
-  ../src/Labelling.h ../src/SATFormulae.h ../src/OrClause.h
+ ../src/Argument.h ../src/SetArguments.h ../src/SymbolicArgumentsSet.h \
+ ../src/Labelling.h ../src/SATFormulae.h ../src/OrClause.h
 
 ../src/Preferred.h:
 

diff --git a/Debug/src/Preferred.o b/Debug/src/Preferred.o
diff --git a/Debug/src/Preferred_Grounded.d b/Debug/src/Preferred_Grounded.d
@@ -1,7 +1,7 @@
 src/Preferred_Grounded.d: ../src/Preferred_Grounded.cpp \
-  ../src/Preferred.h ../src/AF.h ../src/Argument.h ../src/SetArguments.h \
-  ../src/SymbolicArgumentsSet.h ../src/Labelling.h ../src/SATFormulae.h \
-  ../src/OrClause.h
+ ../src/Preferred.h ../src/AF.h ../src/Argument.h ../src/SetArguments.h \
+ ../src/SymbolicArgumentsSet.h ../src/Labelling.h ../src/SATFormulae.h \
+ ../src/OrClause.h
 
 ../src/Preferred.h:
 

diff --git a/Debug/src/Preferred_Grounded.o b/Debug/src/Preferred_Grounded.o
diff --git a/Debug/src/Preferred_boundcond.d b/Debug/src/Preferred_boundcond.d
@@ -1,7 +1,7 @@
 src/Preferred_boundcond.d: ../src/Preferred_boundcond.cpp \
-  ../src/Preferred.h ../src/AF.h ../src/Argument.h ../src/SetArguments.h \
-  ../src/SymbolicArgumentsSet.h ../src/Labelling.h ../src/SATFormulae.h \
-  ../src/OrClause.h
+ ../src/Preferred.h ../src/AF.h ../src/Argument.h ../src/SetArguments.h \
+ ../src/SymbolicArgumentsSet.h ../src/Labelling.h ../src/SATFormulae.h \
+ ../src/OrClause.h
 
 ../src/Preferred.h:
 

diff --git a/Debug/src/Preferred_boundcond.o b/Debug/src/Preferred_boundcond.o
diff --git a/Debug/src/Preferred_pref.d b/Debug/src/Preferred_pref.d
@@ -1,7 +1,7 @@
 src/Preferred_pref.d: ../src/Preferred_pref.cpp ../src/Preferred.h \
-  ../src/AF.h ../src/Argument.h ../src/SetArguments.h \
-  ../src/SymbolicArgumentsSet.h ../src/Labelling.h ../src/SATFormulae.h \
-  ../src/OrClause.h
+ ../src/AF.h ../src/Argument.h ../src/SetArguments.h \
+ ../src/SymbolicArgumentsSet.h ../src/Labelling.h ../src/SATFormulae.h \
+ ../src/OrClause.h
 
 ../src/Preferred.h:
 

diff --git a/Debug/src/Preferred_pref.o b/Debug/src/Preferred_pref.o
diff --git a/Debug/src/Preferred_sccsseq.d b/Debug/src/Preferred_sccsseq.d
@@ -1,7 +1,7 @@
 src/Preferred_sccsseq.d: ../src/Preferred_sccsseq.cpp ../src/Preferred.h \
-  ../src/AF.h ../src/Argument.h ../src/SetArguments.h \
-  ../src/SymbolicArgumentsSet.h ../src/Labelling.h ../src/SATFormulae.h \
-  ../src/OrClause.h
+ ../src/AF.h ../src/Argument.h ../src/SetArguments.h \
+ ../src/SymbolicArgumentsSet.h ../src/Labelling.h ../src/SATFormulae.h \
+ ../src/OrClause.h
 
 ../src/Preferred.h:
 

diff --git a/Debug/src/Preferred_sccsseq.o b/Debug/src/Preferred_sccsseq.o
diff --git a/Debug/src/SATFormulae.d b/Debug/src/SATFormulae.d
@@ -1,6 +1,6 @@
 src/SATFormulae.d: ../src/SATFormulae.cpp ../src/SATFormulae.h \
-  ../src/OrClause.h ../src/Argument.h ../src/AF.h ../src/SetArguments.h \
-  ../src/SymbolicArgumentsSet.h ../src/Labelling.h
+ ../src/OrClause.h ../src/Argument.h ../src/AF.h ../src/SetArguments.h \
+ ../src/SymbolicArgumentsSet.h ../src/Labelling.h
 
 ../src/SATFormulae.h:
 

diff --git a/Debug/src/SATFormulae.o b/Debug/src/SATFormulae.o
diff --git a/Debug/src/SetArguments.d b/Debug/src/SetArguments.d
@@ -1,6 +1,6 @@
 src/SetArguments.d: ../src/SetArguments.cpp ../src/SetArguments.h \
-  ../src/Argument.h ../src/AF.h ../src/SymbolicArgumentsSet.h \
-  ../src/Labelling.h
+ ../src/Argument.h ../src/AF.h ../src/SymbolicArgumentsSet.h \
+ ../src/Labelling.h
 
 ../src/SetArguments.h:
 

diff --git a/Debug/src/SetArguments.o b/Debug/src/SetArguments.o
diff --git a/Debug/src/SymbolicArgumentsSet.d b/Debug/src/SymbolicArgumentsSet.d
@@ -1,6 +1,6 @@
 src/SymbolicArgumentsSet.d: ../src/SymbolicArgumentsSet.cpp \
-  ../src/SymbolicArgumentsSet.h ../src/Argument.h ../src/AF.h \
-  ../src/SetArguments.h ../src/Labelling.h
+ ../src/SymbolicArgumentsSet.h ../src/Argument.h ../src/AF.h \
+ ../src/SetArguments.h ../src/Labelling.h
 
 ../src/SymbolicArgumentsSet.h:
 

diff --git a/Debug/src/SymbolicArgumentsSet.o b/Debug/src/SymbolicArgumentsSet.o
diff --git a/Debug/src/main.d b/Debug/src/main.d
@@ -1,6 +1,6 @@
 src/main.d: ../src/main.cpp ../src/semopt.h ../src/AF.h ../src/Argument.h \
-  ../src/SetArguments.h ../src/SymbolicArgumentsSet.h ../src/Labelling.h \
-  ../src/OrClause.h ../src/SATFormulae.h ../src/Preferred.h
+ ../src/SetArguments.h ../src/SymbolicArgumentsSet.h ../src/Labelling.h \
+ ../src/OrClause.h ../src/SATFormulae.h ../src/Preferred.h
 
 ../src/semopt.h:
 

diff --git a/Debug/src/main.o b/Debug/src/main.o
diff --git a/Debug/src/misc.d b/Debug/src/misc.d
@@ -1,6 +1,6 @@
 src/misc.d: ../src/misc.cpp ../src/semopt.h ../src/AF.h ../src/Argument.h \
-  ../src/SetArguments.h ../src/SymbolicArgumentsSet.h ../src/Labelling.h \
-  ../src/OrClause.h ../src/SATFormulae.h ../src/Preferred.h
+ ../src/SetArguments.h ../src/SymbolicArgumentsSet.h ../src/Labelling.h \
+ ../src/OrClause.h ../src/SATFormulae.h ../src/Preferred.h
 
 ../src/semopt.h:
 

diff --git a/Debug/src/misc.o b/Debug/src/misc.o
diff --git a/Debug/src/precosat/precobnr.d b/Debug/src/precosat/precobnr.d
@@ -1,2 +1 @@
-src/precosat/precobnr.d src/precosat/precobnr.o:  \
- ../src/precosat/precobnr.cc
+src/precosat/precobnr.d: ../src/precosat/precobnr.cc
diff --git a/Debug/src/precosat/precobnr.o b/Debug/src/precosat/precobnr.o
diff --git a/Debug/src/precosat/precomain.d b/Debug/src/precosat/precomain.d
@@ -1,11 +1,10 @@
-src/precosat/precomain.d src/precosat/precomain.o:  \
- ../src/precosat/precomain.cc ../src/precosat/precosat.hh \
-  ../src/precosat/precobnr.hh ../src/precosat/../semopt.h \
-  ../src/precosat/../AF.h ../src/precosat/../Argument.h \
-  ../src/precosat/../SetArguments.h \
-  ../src/precosat/../SymbolicArgumentsSet.h \
-  ../src/precosat/../Labelling.h ../src/precosat/../OrClause.h \
-  ../src/precosat/../SATFormulae.h ../src/precosat/../Preferred.h
+src/precosat/precomain.d: ../src/precosat/precomain.cc \
+ ../src/precosat/precosat.hh ../src/precosat/precobnr.hh \
+ ../src/precosat/../semopt.h ../src/precosat/../AF.h \
+ ../src/precosat/../Argument.h ../src/precosat/../SetArguments.h \
+ ../src/precosat/../SymbolicArgumentsSet.h ../src/precosat/../Labelling.h \
+ ../src/precosat/../OrClause.h ../src/precosat/../SATFormulae.h \
+ ../src/precosat/../Preferred.h
 
 ../src/precosat/precosat.hh:
 

diff --git a/Debug/src/precosat/precomain.o b/Debug/src/precosat/precomain.o
diff --git a/Debug/src/precosat/precosat.d b/Debug/src/precosat/precosat.d
@@ -1,6 +1,5 @@
-src/precosat/precosat.d src/precosat/precosat.o:  \
- ../src/precosat/precosat.cc ../src/precosat/precosat.hh \
-  ../src/precosat/precobnr.hh
+src/precosat/precosat.d: ../src/precosat/precosat.cc \
+ ../src/precosat/precosat.hh ../src/precosat/precobnr.hh
 
 ../src/precosat/precosat.hh:
 

diff --git a/Debug/src/precosat/precosat.o b/Debug/src/precosat/precosat.o
diff --git a/Debug/test-input/example4.dl b/Debug/test-input/example4.dl
@@ -0,0 +1,26 @@
+arg(a1).
+arg(a2).
+arg(a3).
+arg(a4).
+arg(a5).
+arg(a6).
+arg(a7).
+arg(a8).
+arg(a9).
+att(a1,a2).
+att(a2,a1).
+att(a1,a5).
+att(a2,a4).
+att(a4,a5).
+att(a5,a7).
+att(a7,a6).
+att(a6,a5).
+att(a4,a6).
+att(a6,a4).
+att(a4,a8).
+att(a8,a9).
+att(a9,a8).
+att(a6,a9).
+att(a9,a7).
+
+