Skip to content
Branch: master
Find file Copy path
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
executable file 46 lines (34 sloc) 1.14 KB
* Copyright (c) University of Toronto and others. All rights reserved.
* The content of this file is licensed under the Creative Commons Attribution-
* ShareAlike 4.0 Unported license. The legal text of this license can be
* found at
* Contributors:
* Michael Gruninger - initial implementation
(forall (x)
(if (mat x)
(not (amount x))))
(forall (x)
(iff (mat x)
(amount (mass x))))
(forall (x)
(if (mat x)
(lesser_amount zero_mass (mass x))))
(forall (x y)
(if (proper_chunk x y)
(lesser_amount (mass x) (mass y))))
(forall (x y z w)
(if (and (chunk_diff x y z)
(chunk_sum x y w))
(= (mass w) (add_mass (mass y) (mass z)))))
(forall (x y)
(if (lesser_amount (mass x) (mass y))
(exists (z)
(and (proper_chunk z y)
(= (mass y) (mass z))))))
You can’t perform that action at this time.