tnelson/Margrave — Issue #87: Term counting: Cap size using abstract
Author: tnelson
Created: 2012-01-13 14:47:03+00:00
State: open

If a sort is abstract, and it contains only all-neq constants, the sort cannot contain more than #constants atoms. (This idea can probably be extended more broadly and more precisely.)