changes

Bakhtiar-Sadeghi · Oct 13, 2015 · 50e0f26 · 50e0f26
1 parent faa358a
commit 50e0f26
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/.gitignore b/.gitignore
@@ -11,6 +11,7 @@
 *.mm~
 *.mm~
 *.class
+.DS_Store
 bin/
 jeditplugin/installer.properties
 /examples/scbw/nbproject/private/
@@ -29,4 +30,4 @@ jeditplugin/installer.properties
 *.gz
 /examples/2apl/auctionhouse/nbproject/private/
 /examples/2apl/auctionhouse/dist/
-/examples/2apl/auctionhouse/build/
+/examples/2apl/auctionhouse/build/
diff --git a/examples/auctionhouse/test.aorta b/examples/auctionhouse/test.aorta
@@ -0,0 +1,2 @@
+%role(R) : org(role(R,Os)), ~(bel(member(bel(O),Os)), ~cap(O))  => enact(R).
+role(R) : org(role(R,Os)), bel(member(bel(O1),Os), member(bel(O2),Os), O1 \= O2), cap(O1), cap(O2) => enact(R).
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1,2 @@
		%role(R) : org(role(R,Os)), ~(bel(member(bel(O),Os)), ~cap(O)) => enact(R).
		role(R) : org(role(R,Os)), bel(member(bel(O1),Os), member(bel(O2),Os), O1 \= O2), cap(O1), cap(O2) => enact(R).