diff options
| author | dos-reis <gdr@axiomatics.org> | 2013-05-19 19:54:24 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2013-05-19 19:54:24 +0000 |
| commit | 070cfd40cc4752cdc20783038fcbdbe9fcc07eff (patch) | |
| tree | f24f426e5175435fcc2dcc19d7664bdea0441afa /src/algebra/newdata.spad.pamphlet | |
| parent | d9777ce9dcd2bcde348bba152d4667559b025d9d (diff) | |
| download | open-axiom-070cfd40cc4752cdc20783038fcbdbe9fcc07eff.tar.gz | |
* algebra/newdata.spad.pamphlet (SplittingTree): Include
ShallowlyMutableAggregate S in exports.
* algebra/polset.spad.pamphlet (GeneralPolynomialSet): Inlcude
ShallowlyMutableAggregate P.
* algebra/triset.spad.pamphlet (TriangularSetCategory): Likewise.
Diffstat (limited to 'src/algebra/newdata.spad.pamphlet')
| -rw-r--r-- | src/algebra/newdata.spad.pamphlet | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/algebra/newdata.spad.pamphlet b/src/algebra/newdata.spad.pamphlet index 1cc2f1e4..09484852 100644 --- a/src/algebra/newdata.spad.pamphlet +++ b/src/algebra/newdata.spad.pamphlet @@ -361,8 +361,7 @@ SplittingTree(V,C) : Exports == Implementation where S ==> SplittingNode(V,C) A ==> Record(root:S,subTrees:List(%)) - Exports == Join(RecursiveAggregate S,FiniteAggregate S) with - shallowlyMutable + Exports == Join(RecursiveAggregate S,FiniteAggregate S,ShallowlyMutableAggregate S) with extractSplittingLeaf : % -> Union(%,"failed") ++ \axiom{extractSplittingLeaf(a)} returns the left ++ most leaf (as a tree) whose status is false |