Skip to content
Permalink
Browse files

adjusted weak_card_edge for readability

  • Loading branch information...
carmenchui committed Jun 15, 2018
1 parent 920edd0 commit ecf76a58b30c771e63205d5f2848dabe70a2fd19
Showing with 2 additions and 3 deletions.
  1. +2 −3 ontologies/shape/weak_card_edge.clif
@@ -31,8 +31,7 @@

(forall (v)
(iff (vertex v)
(exists (e1 e2) (meet e1 e2 v))))


(exists (e1 e2)
(meet e1 e2 v))))

)

0 comments on commit ecf76a5

Please sign in to comment.
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session.