#
271c8c35 |
|
16-Nov-2009 |
Thomas Tuerk <Thomas.Tuerk@cl.cam.ac.uk> |
BAG_EVERY added to bagSyntax
|
#
8585ec8a |
|
14-Oct-2009 |
Thomas Tuerk <Thomas.Tuerk@cl.cam.ac.uk> |
Some more additions to bagLib. I'm mainly interested in bags that consists of multiple insertions into the empty bag like for example {|x1;x2;x3|}. I call these explicitly given, finite bags "simple". There was a lot of tool support for handling bags that consists of BAG_UNION applications. One can eliminate those for example on both sides of an equation, a BAG_DIFF ... Now I added support for these "simple" bags. I started adding some things like resorting to bagLib before. However, these addidtion became larger and larger. Therefore, I moved them into an new file called bagSimpleLib. However, it is imported by bagLib, so the end-user does not need to know this.
|
#
5086ec23 |
|
19-Sep-2009 |
Thomas Tuerk <Thomas.Tuerk@cl.cam.ac.uk> |
BAG_IMAGE_CONV added that is able to evaluate BAG_IMAGE on very simple bags. Moreover, some extensions to bagSyntax were made.
|
#
286ea90b |
|
15-Sep-2009 |
Thomas Tuerk <Thomas.Tuerk@cl.cam.ac.uk> |
Added BAG_RESORT_CONV. This new conversion is able to sort nested uses of BAG_INSERT. For example BAG_RESORT_CONV [0,3,2] ``{|x0; x1; x2; x3; x4|}`` results in {|x0; x3; x2; x1; x4|}
|
#
4cddaa12 |
|
12-Jul-2005 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Changed a couple of misleading/annoying names. The type ssdata is now called ssfrag (to bring it into line with documentation that talks about simpset fragments), and the constructor SIMPSET is now called SSFRAG. It never created a simpset, so the latter was a stupid name.
|
#
59db6c3d |
|
18-Jun-2001 |
Konrad Slind <konrad.slind@gmail.com> |
Slight re-org.
|
#
5185151b |
|
23-Nov-2000 |
Konrad Slind <konrad.slind@gmail.com> |
Builds in Kan.0.
|
#
02d12058 |
|
12-Oct-2000 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
CANCEL_CONV can loop where both arguments to the binary function are the empty bag. This can't be allowed in a simpset, so the actual conv used in BAG_ss is now CHANGED_CONV CANCEL_CONV.
|
#
3f1e629e |
|
12-Oct-2000 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Extended bag library. Decision procedure for solving sub-bag or equality goals has been added. The CANCEL_CONV conversion has also been extended to do its thing over BAG_DIFF terms. It has been put into BAG_ss. If it proves to be too inefficient there, I can always take it back out.
|
#
80f2ee04 |
|
11-Oct-2000 |
Michael Norrish <Michael.Norrish@nicta.com.au> |
Implemented a bag library, to help with standard tasks, and provide at least one useful tool (CANCEL_CONV).
|