Permalink
Browse files

fixed indentations.

  • Loading branch information...
bahar.ameri@gmail.com
bahar.ameri@gmail.com committed Mar 15, 2014
1 parent 1ebea92 commit a71cb1ab22c3f9f2a74d3825f112a6eb3422e070
@@ -10,35 +10,35 @@
(forall (x o)
(if (arboreal o)
(not (prior (lt x x) o))))
(if (arboreal o)
(not (prior (lt x x) o))))
(forall (x y z o)
(if (and (arboreal o)
(prior (lt x y) o)
(prior (lt y z) o))
(prior (lt x z) o)))
(if (and (arboreal o)
(prior (lt x y) o)
(prior (lt y z) o))
(prior (lt x z) o)))
(forall (x y z o)
(if (and (arboreal o)
(prior (lt x y) o)
(prior (lt x z) o))
(or (prior (lt y z) o)
(prior (lt z y) o)
(= y z))))
(if (and (arboreal o)
(prior (lt x y) o)
(prior (lt x z) o))
(or (prior (lt y z) o)
(prior (lt z y) o)
(= y z))))
(forall (x y z o)
(if (and (arboreal o)
(prior (lt y x) o)
(prior (lt z x) o))
(or (prior (lt y z) o)
(prior (lt z y) o)
(= y z))))
(if (and (arboreal o)
(prior (lt y x) o)
(prior (lt z x) o))
(or (prior (lt y z) o)
(prior (lt z y) o)
(= y z))))
(forall (x y o)
(iff (prior (comparable x y) o)
(and (arboreal o)
(or (prior (lt x y) o)
(prior (lt y x) o)))))
(iff (prior (comparable x y) o)
(and (arboreal o)
(or (prior (lt x y) o)
(prior (lt y x) o)))))
)
@@ -3,30 +3,28 @@
(cl-imports http://colore.oor.net/chains_process/chains_state.clif)
(forall (a) (iff (change_point a)
(forall (a) (iff (change_point a)
(forall (o)
(if (occurrence_of o a)
(exists (x)
(changes o (point x)))))))
(exists (x) (changes o (point x)))))))
(forall (a) (iff (change_lt a)
(forall (a) (iff (change_lt a)
(forall (o)
(if (occurrence_of o a)
(exists (x y)
(changes o (lt x y)))))))
(exists (x y) (changes o (lt x y)))))))
(forall (a) (iff (new_chain a)
((and (change_lt a)
(forall (a) (iff (new_chain a)
((and (change_lt a)
(forall (o x y)
(if (and (occurrence_of o a)
(if (and (occurrence_of o a)
(changes o (lt x y)))
(changes o (comparable x y))))))))
(forall (a) (iff (rearrange a)
((and (change_lt a)
(forall (a) (iff (rearrange a)
((and (change_lt a)
(forall (o x y)
(if (and (occurrence_of o a)
(if (and (occurrence_of o a)
(changes o (lt x y)))
(not (changes o (comparable x y)))))))))
@@ -4,125 +4,125 @@
(forall (o x y)
(if (prior (on x y) o)
(and (prior (block x) o)
(prior (block y) o) )))
(if (prior (on x y) o)
(and (prior (block x) o)
(prior (block y) o) )))
(forall (x o)
(if (arboreal o)
(not (prior (on x x) o))))
(if (arboreal o)
(not (prior (on x x) o))))
(forall (x y z o)
(if (and (arboreal o)
(prior (on x y) o)
(prior (on y z) o))
(prior (on x z) o)))
(if (and (arboreal o)
(prior (on x y) o)
(prior (on y z) o))
(prior (on x z) o)))
(forall (x y z o)
(if (and (arboreal o)
(prior (on x y) o)
(prior (on x z) o))
(or (prior (on y z) o)
(prior (on z y) o)
(= y z))))
(if (and (arboreal o)
(prior (on x y) o)
(prior (on x z) o))
(or (prior (on y z) o)
(prior (on z y) o)
(= y z))))
(forall (x y z o)
(if (and (arboreal o)
(prior (on y x) o)
(prior (on z x) o))
(or (prior (on y z) o)
(prior (on z y) o)
(= y z))))
(if (and (arboreal o)
(prior (on y x) o)
(prior (on z x) o))
(or (prior (on y z) o)
(prior (on z y) o)
(= y z))))
(forall (x y o)
(iff (prior (comparable x y) o)
(and (arboreal o)
(or (prior (on x y) o)
(prior (on y x) o)))))
(iff (prior (comparable x y) o)
(and (arboreal o)
(or (prior (on x y) o)
(prior (on y x) o)))))
(forall (x o)
(iff (prior (minimal x) o)
(not (exists (y)
(prior (lt y x) o))))
(iff (prior (minimal x) o)
(not (exists (y)
(prior (lt y x) o))))
(forall (x o)
(iff (prior (maximal x) o)
(not (exists (y)
(prior (lt x y) o))))
(iff (prior (maximal x) o)
(not (exists (y)
(prior (lt x y) o))))
(forall (x o)
(or (prior (minimal x) o)
(exists (y)
(and (prior (minimal y) o)
(prior (lt y x) o)))))
(or (prior (minimal x) o)
(exists (y)
(and (prior (minimal y) o)
(prior (lt y x) o)))))
(forall (x o)
(or (prior (maximal x) o)
(exists (y)
(and (prior (maximal y) o)
(prior (lt x y) o)))))
(or (prior (maximal x) o)
(exists (y)
(and (prior (maximal y) o)
(prior (lt x y) o)))))
(forall (o x y)
(if (and (arboreal o)
(prior (colored_as x y) o))
(prior (colored_as y x) o)))
(if (and (arboreal o)
(prior (colored_as x y) o))
(prior (colored_as y x) o)))
(forall (x o)
(if (and (arboreal o)
(or (prior (block x) o)
(prior (color x) o)))
(prior (colored_as x x) o)))
(if (and (arboreal o)
(or (prior (block x) o)
(prior (color x) o)))
(prior (colored_as x x) o)))
(forall (o p)
(if (and (arboreal o)
(prior (block p) o))
(not (prior (color p) o))))
(if (and (arboreal o)
(prior (block p) o))
(not (prior (color p) o))))
(forall (x y o)
(if (and (arboreal o)
(prior (colored_as x y) o)
(prior (block x) o)
(prior (block y) o))
(= x y)))
(if (and (arboreal o)
(prior (colored_as x y) o)
(prior (block x) o)
(prior (block y) o))
(= x y)))
(forall (x y o)
(if (and (arboreal o)
(prior (colored_as x y) o)
(prior (color x) o)
(prior (color y) o))
(= x y)))
(if (and (arboreal o)
(prior (colored_as x y) o)
(prior (color x) o)
(prior (color y) o))
(= x y)))
(forall (p o)
(if (and (arboreal o)
(prior (block p) o))
(exists (l)
(and (prior (color l) o)
(prior (colored_as p l) o)))))
(if (and (arboreal o)
(prior (block p) o))
(exists (l)
(and (prior (color l) o)
(prior (colored_as p l) o)))))
(forall (l1 l2 p o)
(if (and (arboreal o)
(prior (color l1) o)
(prior (color l2) o)
(prior (block p) o)
(prior (colored_as p l1) o)
(prior (colored_as p l2) o))
(= l1 l2)))
(if (and (arboreal o)
(prior (color l1) o)
(prior (color l2) o)
(prior (block p) o)
(prior (colored_as p l1) o)
(prior (colored_as p l2) o))
(= l1 l2)))
(forall (p1 p2 l o)
(if (and (arboreal o)
(prior (block p1) o)
(prior (block p2) o)
(prior (color l) o)
(prior (colored_as p1 l) o)
(prior (colored_as p1 l) o))
(= p1 p2)))
(if (and (arboreal o)
(prior (block p1) o)
(prior (block p2) o)
(prior (color l) o)
(prior (colored_as p1 l) o)
(prior (colored_as p1 l) o))
(= p1 p2)))
)
@@ -1,45 +1,45 @@
(cl-text http://colore.oor.net/colored_blocks_process/definitions/colored_blocks_process.clif
(cl-imports http://colore.oor.net/colored_blocks_process/colored_blocks_state.clif)
(forall (a) (iff (change_block a)
(forall (o)
(if (occurrence_of o a)
(exists (x)
(changes o (block x)))))))
(forall (a) (iff (change_block a)
(forall (o)
(if (occurrence_of o a)
(exists (x)
(changes o (block x)))))))
(forall (a) (iff (change_on a)
(forall (o)
(if (occurrence_of o a)
(exists (x y)
(changes o (on x y)))))))
(forall (o)
(if (occurrence_of o a)
(exists (x y)
(changes o (on x y)))))))
(forall (a) (iff (new_pile a)
((and (change_on a)
(forall (o)
(if (and (occurrence_of o a)
(changes o (on x y)))
(changes o (comparable x y))))))))
(forall (a) (iff (new_pile a)
((and (change_on a)
(forall (o)
(if (and (occurrence_of o a)
(changes o (on x y)))
(changes o (comparable x y))))))))
(forall (a) (iff (rearrange_pile a)
((and (change_on a)
(forall (o)
(if (and (occurrence_of o a)
(changes o (on x y)))
(not (changes o (comparable x y)))))))))
(forall (a) (iff (change_colors a)
(forall (o)
(if (occurrence_of o a)
(exists (l)
(changes o (color l)))))))
(forall (a) (iff (change_block_color a)
(forall (o)
(if (occurrence_of o a)
(exists (x y)
(changes o (colored_as x y)))))))
(forall (a) (iff (rearrange_pile a)
((and (change_on a)
(forall (o)
(if (and (occurrence_of o a)
(changes o (on x y)))
(not (changes o (comparable x y)))))))))
(forall (a) (iff (change_colors a)
(forall (o)
(if (occurrence_of o a)
(exists (l)
(changes o (color l)))))))
(forall (a) (iff (change_block_color a)
(forall (o)
(if (occurrence_of o a)
(exists (x y)
(changes o (colored_as x y)))))))
)
Oops, something went wrong.

0 comments on commit a71cb1a

Please sign in to comment.