2014-03-03  Steven Eker  <eker@ape.csl.sri.com>

	* metaLevelOpSymbol.hh (FreeSymbol): added decl for metaGetVariant2()

	* metaVariant.cc (metaGetVariant2): renamed from metaGetVariant();
	handle irredundant argument
	(metaGetIrredundantVariant): added
	(metaGetVariant): use metaGetVariant2()

	* descentSignature.cc: added metaGetIrredundantVariant

===================================Maude101===========================================

2014-02-06  Steven Eker  <eker@ape.csl.sri.com>

	* metaVariant.cc (metaGetVariant, metaVariantUnify2): added
	Asserts() on solutionNr
	(metaVariantUnify, metaVariantDisjointUnify): removed stub code
	(metaVariantUnify2): removed commented out code

	* metaMatch.cc (makeMatchSearchState2): return 0 rather than false
	in fail case

	* metaUpModule.cc (upGather): initialize s to avoid warning

===================================Maude100a===========================================

2012-07-31  Steven Eker  <eker@ape.csl.sri.com>

	* metaVariant.cc (metaVariantUnify2): use upUnificationTriple(),
	upUnificationPair()

	* metaLevel.hh (M): added decls for 4 new narrow up functions

	* metaUp.cc (upSubstitution): added narrowing version
	(upUnificationPair): added narrowing version
	(upVariant): use upSubstitution()
	(upUnificationTriple): added narrowing version
	(upDisjointSubstitutions): added narrowing version

2012-07-30  Steven Eker  <eker@ape.csl.sri.com>

	* metaLevelOpSymbol.hh (FreeSymbol): added decl for
	metaVariantUnify2()

	* metaVariant.cc (metaVariantUnify2): added

	* descentSignature.cc: updated metaVariantUnify() and
	metaVariantDisjointUnify()

2012-07-23  Steven Eker  <eker@ape.csl.sri.com>

	* metaVariant.cc (metaGetVariant): call normalize() on blocker
	terms to set hash values

2012-07-20  Steven Eker  <eker@ape.csl.sri.com>

	* metaVariant.cc (metaGetVariant): convert blocker terms to
	blocket dags

	* metaUp.cc (upUnificationTriple): fix bug where we weren't
	handling the singleton substitution case

	* metaLevel.hh (M): make downTermList() public

	* metaUp.cc (upUnificationTriple): switch term and substituion args

	* metaDown.cc (downTerm): don't allow meta term syntax with empty
	argument list
	(downTermList): allow empty term lists

	* metaLevelSignature.cc: added emptyTermListSymbol

	* metaVariant.cc (metaGenerateVariant): becomes metaGetVariant()

	* descentSignature.cc: replaced metaGenerateVariant() by
	metaGetVariant()

2012-07-18  Steven Eker  <eker@ape.csl.sri.com>

	* metaVariant.cc (metaGenerateVariant): pass blocker dags to VariantSearch

===================================Maude96a===========================================

2012-05-22  Steven Eker  <eker@ape.csl.sri.com>

	* metaVariant.cc (metaGenerateVariant): rewritten

	* metaLevel.hh (M): updated decl for upVariant()
	(M): added decl for DagNode* version of upAssignment()

	* metaUp.cc (upAssignment): added DagNode* version
	(upUnificationTriple): rewritten

2012-05-21  Steven Eker  <eker@ape.csl.sri.com>

	* metaVariant.cc (getCachedVariantSearch): added

2012-05-03  Steven Eker  <eker@ape.csl.sri.com>

	* metaUpModule.cc (upStatementAttributes): handle variant attribute

	* metaDown.cc (downStatementAttr): handle variantAttrSymbol
	(downEquation): handle variant flag

	* metaLevel.hh (M): added VARIANT to enum Flags

	* metaLevelSignature.cc: added variantSymbol

2012-03-28  Steven Eker  <eker@ape.csl.sri.com>

	* descentSignature.cc: metaGenerateVariant() only takes 4 arguments

2012-03-09  Steven Eker  <eker@ape.csl.sri.com>

	* metaVariant.cc: created with stub functions

	* descentSignature.cc: added metaGenerateVariant,
	metaVariantUnify, metaVariantDisjointUnify

	* metaLevel.hh (M): added decls for upVariant() and upNoVariant()

	* metaUp.cc (upVariant): added
	(upNoVariant): added

	* metaLevelSignature.cc: added variantSymbol and noVariantSymbol

	* metaLevel.hh (M): deleted declarations for
	upNoUnifierContextTriple() and upNoUnifierContext4Tuple()

	* metaUp.cc (upNoUnifierContextTriple): deleted
	(upNoUnifierContext4Tuple): deleted

	* metaLevelSignature.cc: deleted noUnifierContextTripleSymbol,
	noUnifierContext4TupleSymbol, unificationContextTripleSymbol, unificationContext4TupleSymbol

	* metaLevel.hh (M): deleted declarations for
	upUnificationContextTriple() and upUnificationContext4Tuple()

	* metaUp.cc (upUnificationContextTriple): deleted - unification
	with extension isn't going to fly
	(upUnificationContext4Tuple): deleted

===================================Maude96===========================================

2010-10-20  Steven Eker  <eker@rho>

	* metaModuleCache.hh (Entity::User): added enum Sizes

	* metaModuleCache.cc (MetaModuleCache::MetaModuleCache): no longer
	take arg
	(MetaModuleCache::MetaModuleCache): don't take argument; use
	getenv() to see if user set a custom maxSize

	* metaModuleCache.hh (Entity::User): made maxSize static rather
	than const
	(Entity::User): ctor no longer takes arg

===================================Maude95a===========================================

2010-10-06  Steven Eker  <eker@rho>

	* metaDownRenamings.cc (MetaLevel::downModuleExpression): new
	makeSummation() convention for bad modules
	(MetaLevel::downModuleExpression): new makeRenamedCopy()
	convention for bad modules

2010-10-05  Steven Eker  <eker@rho>

	* metaDownRenamings.cc (MetaLevel::downModuleExpression): new
	makeInstatiation() convention for bad modules

2010-08-12  Steven Eker  <eker@rho>

	* metaDownFixUps.cc (MetaLevel::downOpHook): use downOpName()
	instead of downQid() for operator name

	* metaDown.cc (MetaLevel::downTerm): use downOpName() instead of
	downQid() for operator name

	* descentFunctions.cc (MetaLevelOpSymbol::metaMaximalAritySet):
	use downOpName() instead of downQid()

	* metaLevel.hh (class MetaLevel): added decl for downOpName()

	* metaDown.cc (MetaLevel::downQid): use
	Token::unBackQuoteSpecials() after all since metaParser want '`,
	to be downed to ,
	(MetaLevel::downOpName): added

2010-08-10  Steven Eker  <eker@rho>

	* metaDown.cc (MetaLevel::downQid): don't use
	Token::unBackQuoteSpecials()

2010-07-13  Steven Eker  <eker@rho>

	* interpreterManagerSymbol.hh (class InterpreterManagerSymbol):
	added decls for insertView() and showView()

	* interpreterSignature.cc: added insertViewMsg/insertedViewMsg and
	showViewMsg/showingViewMsg

2010-07-06  Steven Eker  <eker@rho>

	* descentFunctions.cc (MetaLevelOpSymbol::metaDownTerm): fix bug
	where we were not checking the component of the down'd term

===================================Maude94a===========================================

2010-06-11  Steven Eker  <eker@rho>

	* metaUpView.cc (MetaLevel::upOpMappings): fix bug where we were
	using the wrong modules to up the lhs and rhs of an op->term
	mapping

===================================Maude94===========================================

2010-05-07  Steven Eker  <eker@rho>

	* metaLevel.hh (class MetaLevel): updated decl for upHeader()

	* metaUpModule.cc (MetaLevel::upHeader): handle flat argument
	(MetaLevel::upModule): pass flag arg to upHeader

===================================Maude93d===========================================

2010-05-05  Steven Eker  <eker@rho>

	* metaUpView.cc (MetaLevel::upOpMappings): fixed bug where we
	using sort mapping set constructors rather than the op mapping
	ones

2010-04-30  Steven Eker  <eker@rho>

	* metaDown.cc (MetaLevel::downParameterDecl): fix bug by passing m
	rather than 0 as enclosingModule to downModuleExpression()

===================================Maude93b===========================================

2009-11-06  Steven Eker  <eker@goo.csl.sri.com>

	* metaLevelOpSymbol.hh (class MetaLevelOpSymbol): updated ctor

	* metaLevelOpSymbol.cc (complexStrategy): added
	(eqRewrite): use complexStrategy()
	(MetaLevelOpSymbol): take and pass strategy

	* metaLevelOpSymbol.hh (class MetaLevelOpSymbol): added decl for
	complexStrategy()

2009-11-02  Steven Eker  <eker@goo.csl.sri.com>

	* metaMatch.cc (makeMatchSearchState): added DebugAdvisory() to
	investigate performance problem

===================================Maude92a===========================================

2009-08-24  Steven Eker  <eker@goo.csl.sri.com>

	* meta.hh: added class InterpreterManagerSymbol

2009-08-20  Steven Eker  <eker@goo.csl.sri.com>

	* interpreterManagerSymbol.hh (class InterpreterManagerSymbol):
	added decl for frewriteTerm()

	* interpreterManagerSymbol.cc (frewriteTerm): added
	(handleMessage): handle frewriteTermMsg

	* interpreterSignature.cc: added frewriteTermMsg, frewroteTermMsg

2009-08-11  Steven Eker  <eker@goo.csl.sri.com>

	* metaUpView.cc (upView): call upOpMappings()

	* metaLevel.hh (class MetaLevel): added decl for upOpMappings()

	* metaUpView.cc (upOpMappings): added

	* metaLevelSignature.cc (MACRO): op mappings don't take
	attributes!

2009-08-07  Steven Eker  <eker@goo.csl.sri.com>

	* metaLevel.hh (class MetaLevel): added decl for upSortMappings()

	* metaUpView.cc (upSortMappings): added

	* ascentFunctions.cc (metaUpView): added

	* descentSignature.cc (MACRO): added metaUpView

	* metaUpView.cc: created

	* metaLevel.hh (class MetaLevel): added decl for upView()

2009-08-06  Steven Eker  <eker@goo.csl.sri.com>

	* metaLevelSignature.cc (MACRO): added sort/op mapping ctors, view
	ctor

	* interpreterManagerSymbol.hh (class InterpreterManagerSymbol):
	added decl for showModule()

	* interpreterManagerSymbol.cc (showModule): added
	(handleMessage): hande showModuleMsg

2009-08-05  Steven Eker  <eker@goo.csl.sri.com>

	* interpreterSignature.cc (MACRO): added showModuleMsg,
	showingModuleMsg

2009-03-06  Steven Eker  <eker@goo.csl.sri.com>

	* interpreterManagerSymbol.cc (rewriteTerm): added
	(handleMessage): support rewriteTermMsg

	* interpreterManagerSymbol.hh (class InterpreterManagerSymbol):
	added decl for rewriteTerm()

2009-02-26  Steven Eker  <eker@goo.csl.sri.com>

	* interpreterSignature.cc (MACRO): added quitMsg, byeMsg

	* interpreterManagerSymbol.hh (class InterpreterManagerSymbol):
	added decls for quit() and deleteInterpreter()

	* interpreterManagerSymbol.cc (quit): added
	(cleanUp): implemented
	(deleteInterpreter): added

2009-02-20  Steven Eker  <eker@goo.csl.sri.com>

	* metaPreModule.hh (class MetaPreModule): added decl for dtor

	* metaPreModule.cc (getFlatModule): use new downModule()
	convention; call addUser()
	(~MetaPreModule): added

	* metaLevel.hh (class MetaLevel): updated decl for downModule()

	* metaDown.cc (downModule): take cacheMetaModule argument

2009-02-19  Steven Eker  <eker@goo.csl.sri.com>

	* interpreterManagerSymbol.cc (reduceTerm): use upNat()

	* metaLevel.hh (upNat): added

	* interpreterManagerSymbol.cc (reduceTerm): added

	* interpreterManagerSymbol.hh (class InterpreterManagerSymbol):
	added decl for reduceTerm()

	* metaPreModule.cc: created

	* metaPreModule.hh (class MetaPreModule): created

	* interpreterManagerSymbol.cc (insertModule): make a MetaPreModule

	* metaModule.cc (MetaModule): init VisibleModule

	* metaModule.hh (class MetaModule): derive from VisibleModule
	instead of ImportModule

	* meta.hh: added class MetaPreModule

2009-02-12  Steven Eker  <eker@goo.csl.sri.com>

	* metaUpModule.cc: revert to PreModule

	* metaDownRenamings.cc: revert to PreModule

	* metaLevel.hh: revert to PreModule

	* ascentFunctions.cc: revert to PreModule

	* metaUpModule.cc: PreModule -> SyntacticPreModule

	* metaDownRenamings.cc: PreModule -> SyntacticPreModule

	* metaDownOps.cc: PreModule -> SyntacticPreModule

	* ascentFunctions.cc: PreModule -> SyntacticPreModule

	* metaLevel.hh: PreModule -> SyntacticPreModule

2009-02-05  Steven Eker  <eker@goo.csl.sri.com>

	* metaDownRenamings.cc (downModuleExpression): don't access global
	interpreter variable (5 places)

	* metaLevel.hh (class MetaLevel): update decl for downModule()

	* metaDown.cc (downParameterDecl): use a modules owner rather than
	interpreter global variable

	* metaModule.cc (MetaModule): init owner data member

	* metaModule.hh (class MetaModule): added owner data member;
	updated decl for ctor
	(getOwner): added

2009-01-29  Steven Eker  <eker@goo.csl.sri.com>

	* interpreterManagerSymbol.hh: created

	* interpreterManagerSymbol.cc: created

	* metaLevelOpSymbol.hh (getMetaLevel): added

	* metaLevelOpSymbol.cc (eqRewrite): Assert() that metaLevel is not
	0 rather than testing it since this should be set in
	postInterSymbolPass()

===================================Maude92===========================================

2008-09-12  Steven Eker  <eker@goo.csl.sri.com>

	* metaDownOps.cc (downOpDecl): added a check to see of we are
	subsort overloading an operator from one of our parameters

2008-09-11  Steven Eker  <eker@goo.csl.sri.com>

	* ascentFunctions.cc (metaUpImports): deleted decl for unused
	variable flat

	* metaDownRenamings.cc (downModuleExpression): avoid sign/unsigned
	comparison warning

2008-08-27  Steven Eker  <eker@goo.csl.sri.com>

	* metaLevel.hh (class MetaLevel): updated decls for
	downStatementAttrSet(), downStatementAttr(), downPrintList(),
	downPrintListItem()

	* metaDown.cc (downMembAx): use StatementAttributeInfo
	(downEquation): use StatementAttributeInfo
	(downRule): use StatementAttributeInfo
	(downStatementAttrSet, downStatementAttr, downStatementAttr) 
	(downPrintList): use StatementAttributeInfo
	(downStatementAttr): disallow multiple print attributes

	* metaLevel.hh (StatementAttributeInfo): added
	(class MetaLevel): added class StatementAttributeInfo

2008-08-26  Steven Eker  <eker@goo.csl.sri.com>

	* metaLevel.hh (class MetaLevel): updated decls for
	downStatementAttrSet(), downStatementAttr(); added decls for
	downPrintList(), downPrintListItem()
	(class MetaLevel): added PRINT to enum Flags

	* metaDown.cc (downStatementAttrSet, downStatementAttr): take
	printNames, printSorts
	(downPrintList, downPrintListItem): added
	(downStatementAttrSet, downStatementAttr): take MixfixModule*
	(downMembAx): support print attribute
	(downEquation): support print attribute
	(downRule): support print attribute

	* metaUpModule.cc (upStatementAttributes): support print attribute

	* metaLevelSignature.cc (MACRO): added printSymbol

===================================Maude91a===========================================

2008-03-23  Steven Eker  <eker@goo.csl.sri.com>

	* metaLevelOpSymbol.hh (class MetaLevelOpSymbol): deleted decl for
	metaXunify2()

	* metaUnify.cc (metaXunify2): deleted
	(metaXunify): deleted
	(metaDisjointXunify): deleted

	* descentSignature.cc (MACRO): removed metaXunify and metaDisjointXunify

===================================Maude90a===========================================

2008-01-22  Steven Eker  <eker@goo.csl.sri.com>

	* metaUnify.cc (metaUnify2): added debug advisories to try and
	discover unification problem that is causing infinite looping

	* descentSignature.cc (MACRO): metaNarrow2 now has 6 arguments

	* metaNarrow.cc (metaNarrow2): solution # is now arg 5
	(makeNarrowingSequenceSearch2): handle bool arg

2008-01-21  Steven Eker  <eker@goo.csl.sri.com>

	* metaNarrow.cc (makeNarrowingSequenceSearch) 
	(makeNarrowingSequenceSearch2): pass flags arg to
	NarrowingSequenceSearch()

===================================Maude90===========================================

2007-12-07  Steven Eker  <eker@goo.csl.sri.com>

	* metaLevel.cc (MetaLevel): need to clear variableGenerator in
	renaming version of constructor 

2007-12-05  Steven Eker  <eker@goo.csl.sri.com>

	* metaUp.cc (upVariable): deleted variable mapping code

	* metaNarrow.cc (metaNarrow2): correct variableBase by
	m->getMinimumSubstitutionSize()

	* metaLevel.hh (class MetaLevel): data member variableCounter
	replaced by variableBase
	(startVariableMapping): variableCounter replaced by variableBase

	* metaUp.cc (upDagNode): do variable name mapping here based on
	the index in the VariableDagNode

2007-12-04  Steven Eker  <eker@goo.csl.sri.com>

	* metaLevel.hh (startVariableMapping, stopVariableMapping): added

	* metaUp.cc (upVariable): handle variable mapping

	* metaLevel.cc (MetaLevel): clear variableGenerator

	* metaLevel.hh (class MetaLevel): added data members
	variableCounter and variableGenerator

	* metaNarrow.cc (makeNarrowingSequenceSearch2): don't bother with
	Bool argument or setVariableCounter()

	* metaLevelSignature.cc (MACRO): added failure2Symbol

	* metaLevel.hh (class MetaLevel): added decl for upFailurePair()

	* metaUp.cc (upFailurePair): added

	* descentSignature.cc (MACRO): added metaNarrow2

	* metaLevelOpSymbol.hh (class MetaLevelOpSymbol): added decl for
	makeNarrowingSequenceSearch2()

	* metaNarrow.cc (makeNarrowingSequenceSearch): comment out dead
	code
	(makeNarrowingSequenceSearch2): added
	(metaNarrow2): added

2007-11-30  Steven Eker  <eker@goo.csl.sri.com>

	* metaApply.cc (getCachedRewriteSearchState): use new
	remove() semantics; changed test from < to <=

	* metaMatch.cc (getCachedMatchSearchState): use new
	remove() semantics; changed test from < to <=

2007-11-29  Steven Eker  <eker@goo.csl.sri.com>

	* metaNarrow.cc (getCachedNarrowingSequenceSearch): use new
	remove() semantics; changed test from < to <=

	* metaUnify.cc (getCachedUnificationProblem): use new remove()
	semantics 

	* metaOpCache.cc (remove): collapse 4 versions to a single
	simplified version
	(clear): make local_inline

	* metaOpCache.hh (class MetaOpCache): replaced decls for insert()
	and remove()

	* metaOpCache.cc (clear): simplified
	(insert): collapse 4 versions to a single simplified version

	* metaOpCache.hh (class MetaOpCache): use CachableState* rather
	than the various specialized classes in struct Item

2007-11-27  Steven Eker  <eker@goo.csl.sri.com>

	* metaUnify.cc (getCachedUnificationProblem): changed test from <
	to <=

	* metaOpCache.cc (insert): fix failure to clear unused entries bug
	in all four versions

	* metaOpCache.hh (class MetaOpCache): bumped default cache size to 40

	* metaUnify.cc (metaUnify2): added DebugAdvisoryCheck() to report
	unexpected jumps in solution number

2007-11-19  Steven Eker  <eker@goo.csl.sri.com>

	* metaLevelOpSymbol.hh (class MetaLevelOpSymbol): added decls for
	getCachedNarrowingSequenceSearch() and
	makeNarrowingSequenceSearch()

	* metaNarrow.cc: created

	* metaLevelOpSymbol.hh (class MetaLevelOpSymbol): updated decl for
	downSearchType()

	* metaSearch.cc (downSearchType): use SequenceSearch in place of
	RewriteSequenceSearch

	* metaOpCache.hh (class MetaOpCache): added narrowingSearch to
	struct Item

	* metaOpCache.cc (insert, remove): added NarrowingSequenceSearch*
	versions
	(clear): delete narrowingSearch

	* metaOpCache.hh (class MetaOpCache): added declarations for
	NarrowingSequenceSearch* versions of insert() and remove()

	* descentSignature.cc (MACRO): added metaNarrow

2007-10-11  Steven Eker  <eker@goo.csl.sri.com>

	* metaUnify.cc (metaUnify2): use getVariableInfo()
	(metaXunify2): use getVariableInfo()

===================================Maude89h===========================================

2007-08-24  Steven Eker  <eker@goo.csl.sri.com>

	* metaUnify.cc (metaXunify2): variablesOK() -> problemOK()
	(metaUnify2): variablesOK() -> problemOK()

	* metaUp.cc (upResultTriple, upResult4Tuple, upUnificationPair) 
	(upUnificationContextTriple, upMatchPair): upSubstition() ->
	upSubstitution()
	(upSubstition): becomes upSubstitution()

	* metaMatch.cc (metaMatch): upSubstition() -> upSubstitution()

	* metaLevel.hh (class MetaLevel): upSubstition() ->
	upSubstitution()

===================================Maude89g===========================================

2007-07-09  Steven Eker  <eker@goo.csl.sri.com>

	* metaLevel.cc (MetaLevel): fix nasty bug where we weren't
	initializing flagVariables in the copy via SymbolMap ctor

2007-06-27  Steven Eker  <eker@goo.csl.sri.com>

	* metaUnify.cc (metaXunify2): pass disjoint arg to downTermPair()
	(metaUnify2): new downUnificationProblem() convention

	* metaDown.cc (downUnificationProblem): moved makeDisjoint arg

	* metaLevel.hh (class MetaLevel): deleted decl for
	downDisjointTermPair(); added makeDisjoint arg to downTermPair();
	moved makeDisjoint arg in downUnificandPair() and
	downUnificationProblem()

	* metaDown.cc (downUnificandPair): moved makeDisjoint arg to last
	place
	(downTermPair): added makeDisjoint arg
	(downDisjointTermPair): deleted

	* metaUnify.cc (metaXunify2): don't assume that left hand sides
	have had their sort information filled out

	* metaLevelSignature.cc (MACRO): added
	unificationContextTripleSymbol, unificationContext4TupleSymbol,
	noUnifierContextTripleSymbol, noUnifierContext4TupleSymbol

	* metaUnify.cc (metaXunify2): use upNoUnifierContext4Tuple(),
	upNoUnifierContextTriple(), upUnificationContext4Tuple(),
	upUnificationContextTriple()

	* metaLevel.hh (class MetaLevel): added decls for
	upNoUnifierContextTriple() and upNoUnifierContext4Tuple()

	* metaUp.cc (upNoUnifierContextTriple, upNoUnifierContext4Tuple):
	added

	* metaLevel.hh (class MetaLevel): added decls for
	upUnificationContextTriple() and upUnificationContext4Tuple()

	* metaUp.cc (upUnificationContextTriple) 
	(upUnificationContext4Tuple): added

	* descentSignature.cc (MACRO): added entries for metaUnify(),
	metaDisjointUnify()

	* metaUnify.cc (metaUnify, metaDisjointUnify, metaXunify2): added

2007-06-21  Steven Eker  <eker@goo.csl.sri.com>

	* metaLevelOpSymbol.hh (class MetaLevelOpSymbol): added decl for
	metaUnify2()

	* metaUnify.cc (metaUnify2): added
	(metaUnify, metaDisjointUnify): use metaUnify2()

2007-06-19  Steven Eker  <eker@goo.csl.sri.com>

	* descentSignature.cc (MACRO): updated nr args for metaUnify and
	metaDisjointUnify

	* metaUnify.cc (metaDisjointUnify, metaUnify): use
	downUnificationProblem()

	* metaLevel.hh (class MetaLevel): added decls for
	downUnificationProblem(), downUnificandPair()

	* metaDown.cc (downUnificationProblem, downUnificandPair): added

	* metaLevelSignature.cc (MACRO): added unificandPairSymbol and
	unificationConjunctionSymbol

	* metaUnify.cc (metaUnify, metaDisjointUnify): use new
	UnificationProblem() interface

2007-06-14  Steven Eker  <eker@goo.csl.sri.com>

	* metaUnify.cc (metaDisjointUnify, metaUnify): check variables and
	don't do a reduction if a variable is unsafe

	* descentSignature.cc (MACRO): updated entry for metaUnify()

	* metaUnify.cc (metaUnify): rewritten for new semantics

	* metaLevel.hh (class MetaLevel): added decls for
	upUnificationPair() and upNoUnifierPair()

	* metaUp.cc (upUnificationPair): added
	(upNoUnifierPair): added

	* metaLevelSignature.cc (MACRO): added unificationPairSymbol and
	noUnifierPairSymbol

2007-06-13  Steven Eker  <eker@goo.csl.sri.com>

	* metaUnify.cc (metaDisjointUnify): rewritten to respect bignum
	values for varIndex

	* metaLevel.hh (isNat, getNat): added

2007-06-11  Steven Eker  <eker@goo.csl.sri.com>

	* metaUnify.cc (metaDisjointUnify): new UnificationProblem() and
	FreshVariableSource() conventions

2007-06-08  Steven Eker  <eker@goo.csl.sri.com>

	* metaUnify.cc (metaDisjointUnify): pass variableIndex to
	upUnificationTriple()

	* metaLevel.hh (class MetaLevel): updated decl for
	upUnificationTriple()

	* metaUp.cc (upUnificationTriple): handle variableIndex arg

	* metaUnify.cc (metaDisjointUnify): pass variableIndex to
	UnificationProblem()

	* metaUp.cc (upVariable): use unflaggedCode()

2007-06-07  Steven Eker  <eker@goo.csl.sri.com>

	* metaLevel.hh (class MetaLevel): added decls for
	upUnificationTriple() and upDisjointSubstitutions()

	* metaUp.cc (upDisjointSubstitutions): added
	(upUnificationTriple): added

	* metaLevel.hh (class MetaLevel): added decl for
	upNoUnifierTriple()

	* metaUp.cc (upNoUnifierTriple): added

	* metaLevelSignature.cc (MACRO): added unificationTripleSymbol and
	noUnifierTripleSymbol

	* metaLevel.hh (class MetaLevel): added decl for
	downDisjointTermPair()

	* metaDown.cc (downTerm): support flagVariables flag
	(downDisjointTermPair): added

	* metaLevel.cc (MetaLevel): init flagVariables

	* metaLevel.hh (class MetaLevel): added flagVariables data member

	* metaUnify.cc (metaDisjointUnify): added

	* descentSignature.cc (MACRO): added metaDisjointUnify

===================================Maude89c===========================================

2007-02-13  Steven Eker  <eker@goo.csl.sri.com>

	* metaUnify.cc (metaUnify): use getSolution()

2007-01-17  Steven Eker  <eker@goo.csl.sri.com>

	* metaLevel.hh (class MetaLevel): added decl for new version of
	upConstant()

	* metaUp.cc (upDagNode): avoid calling getSort() in variable case
	(upConstant): added DagNode* version that handles the not
	calculated sort case possible with unification
	(upDagNode): use new version of upConstant()

	* metaLevelOpSymbol.hh (class MetaLevelOpSymbol): added decl for
	getCachedUnificationProblem()

	* metaUnify.cc: created

	* metaOpCache.cc (insert, remove): added UnificationProblem
	versions
	(insert): (non-UnificationProblem versions) clear unification
	field
	(clear): handle unification field

	* metaOpCache.hh (class MetaOpCache): added function and data
	decls for UnificationProblem support

	* descentSignature.cc (MACRO): added entry for metaUnify()

2006-12-07  Steven Eker  <eker@goo.csl.sri.com>

	* metaMatch.cc (metaXmatch): pass UNDEFINED index to VariableDagNode()

===================================Maude88d===========================================

2006-11-15  Steven Eker  <eker@goo.csl.sri.com>

	* metaDownRenamings.cc: IssueAdvisory()s in the case of an
	unusable or nonexistent module
	
===================================Maude88c===========================================

2006-10-26  Steven Eker  <eker@goo.csl.sri.com>

	* metaMatch.cc (metaXmatch): use new rebuildDag() semantics

	* metaApply.cc (metaXapply): use new rebuildDag() semantics to fix
	trace bug
	(metaApply): use new rebuildDag() semantics

===================================Maude88b===========================================

2006-10-05  Steven Eker  <eker@goo.csl.sri.com>

	* metaMatch.cc (makeMatchSearchState2): revert fix from 2005-02-16
	since requiring pattern and subject to be in the same component is
	too strong for metaXmatch()

2006-09-26  Steven Eker  <eker@goo.csl.sri.com>

	* metaUpModule.cc (upRenaming): fix bug where we weren't handling
	the single argument case

===================================Maude88a===========================================

2006-07-20  Steven Eker  <eker@goo.csl.sri.com>

	* descentFunctions.cc (metaNormalize): added
	(metaNormalize): need to fill out sort info

	* descentSignature.cc (MACRO): added metaNormalize

===================================Maude88===========================================

2006-05-09  Steven Eker  <eker@goo.csl.sri.com>

	* metaSearch.cc (metaSearchPath): fix comment

===================================Maude87a===========================================

2006-01-23  Steven Eker  <eker@goo.csl.sri.com>

	* descentFunctions.cc (metaRewrite): added DebugAdvisory()s

===================================Maude87===========================================

2005-11-28  Steven Eker  <eker@goo.csl.sri.com>

	* metaDownOps.cc (downAttr): fix long standing bug where we were
	not setting PREC flag

===================================Maude86e===========================================

2005-11-16  Steven Eker  <eker@goo.csl.sri.com>

	* descentFunctions.cc (metaLesserSorts): use downType() rather
	than downSimpleSort() to fix a bug
	(metaSortLeq): use downType() rather than downSimpleSort() (2
	places)

2005-11-14  Steven Eker  <eker@goo.csl.sri.com>

	* metaModuleCache.cc (regretToInform): fix longstanding bug where
	we moving cached pairs the wrong way after a deletion

===================================Maude86d===========================================

2005-09-20  Steven Eker  <eker@goo.csl.sri.com>

	* metaDownRenamings.cc (downModuleExpression): allow bound
	parameters in modules that are to be renamed

2005-09-16  Steven Eker  <eker@goo.csl.sri.com>

	* metaDownRenamings.cc (downModuleExpression): check for
	instantiation having both a PEM and a theory-view

2005-09-15  Steven Eker  <eker@goo.csl.sri.com>

	* metaDownRenamings.cc: use parametersBound() rather than
	getNrBoundParameters()
	(downModuleExpression): use getNrParameters() rather than
	getNrFreeParameters()
	(downModuleExpression): use getParameterTheory() rather than
	getFreeParameterTheory() (2 places)

	* metaDown.cc (downImport): use parametersBound() and
	getNrParameters() rather than getNrFreeParameters()

2005-07-27  Steven Eker  <eker@goo.csl.sri.com>

	* metaDownRenamings.cc (downModuleExpression): check bad flag in
	modules returned by interpreter member functions

2005-07-21  Steven Eker  <eker@goo.csl.sri.com>

	* metaLevel.hh (class MetaLevel): added decls for
	upParameterDecl(), upParameterDecls(), upHeader()

	* metaUpModule.cc (upParameterDecl, upParameterDecls, upHeader):
	added
	(upModule): use upHeader()

	* metaLevel.hh (class MetaLevel): added decl for upArguments()

	* metaUpModule.cc (upArguments): added
	(upModuleExpression): support instantiation

2005-07-20  Steven Eker  <eker@goo.csl.sri.com>

	* metaLevel.hh (class MetaLevel): added decls for downHeader(),
	downParameterDeclList(), downParameterDecl()

	* metaDown.cc (downModule): use safeCase()
	(downHeader): added
	(downParameterDeclList): added
	(downParameterDecl): added
	(downModule): handle parameter lists

	* metaLevelSignature.cc (MACRO): added headerSymbol,
	parameterDeclSymbol, parameterDeclListSymbol

	* metaDown.cc (downImport): check that we don't have free parameters

	* metaLevel.hh (class MetaLevel): added decl for
	downInstantiationArguments()

	* metaDownRenamings.cc (downModuleExpression): implemented
	instantiationSymbol case
	(downInstantiationArguments): added

	* metaDown.cc (downImport): pass enclosingModule argument to
	downModuleExpression()

	* metaLevel.hh (class MetaLevel): updated decl for
	downModuleExpression()

	* metaDownRenamings.cc (downModuleExpression): don't allow modules
	with parameters to be summed
	(downModuleExpression): don't allow modules with bound parameters
	to be renamed
	(downModuleExpression): take and pass enclosingModule argument

2005-07-19  Steven Eker  <eker@goo.csl.sri.com>

	* metaDownRenamings.cc (downModuleExpression): added code stub for
	instantiationSymbol case
	(downModuleExpression): fixed nasty bug where we were returning
	the result of makeSummation() rather than assigning it to m

	* metaLevelSignature.cc (MACRO): added instantiationSymbol

2005-06-07  Steven Eker  <eker@goo.csl.sri.com>

	* metaDownRenamings.cc (downRenamingType): new addType() calling
	convention
	
===================================Maude86b===========================================

2005-04-27  Steven Eker  <eker@goo.csl.sri.com>

	* metaModule.cc (MetaModule): pass origin argument to
	ImportModule()

2005-04-19  Steven Eker  <eker@goo.csl.sri.com>

	* metaDownRenamings.cc (downRenamingType): AUX_PARAMETERIZED_SORT
	-> AUX_STRUCTURED_SORT

	* metaDown.cc (downType2): AUX_PARAMETERIZED_SORT ->
	AUX_STRUCTURED_SORT

===================================Maude86a===========================================

2005-03-17  Steven Eker  <eker@goo.csl.sri.com>

	* metaModuleCache.cc (regretToInform): removed removeUser() hack

2005-03-16  Steven Eker  <eker@goo.csl.sri.com>

	* metaModuleCache.cc (regretToInform): call removeUser()

	* metaModule.cc (MetaModule): Parent* -> User*
	(MetaModule): User* -> Entity::User*

	* metaModule.hh (class MetaModule): Parent* -> User*

	* metaModuleCache.cc (regretToInform): need to cast doomedEntity

	* metaModuleCache.hh (User): derive from Entity::User rather than
	ImportModule::Parent; update decl for regretToInform()

2005-03-07  Steven Eker  <eker@goo.csl.sri.com>

	* metaDownRenamings.cc (downRenamingType): handle
	AUX_PARAMETERIZED_SORT

	* metaDown.cc (downType2): handle AUX_PARAMETERIZED_SORT

2005-02-16  Steven Eker  <eker@goo.csl.sri.com>

	* metaMatch.cc (makeMatchSearchState2): use downTermPair() to
	simplify and fix bug where pattern and subject are in different
	kinds

2005-01-07  Steven Eker  <eker@goo.csl.sri.com>

	* metaDown.cc (downPrintOption): support ratSymbol

	* metaLevelSignature.cc (MACRO): added ratSymbol

2005-01-06  Steven Eker  <eker@goo.csl.sri.com>

	* descentSignature.cc (MACRO): metaPrettyPrint now takes 3 arguments

	* metaLevel.hh (class MetaLevel): added decls for
	downPrintOptionSet() and downPrintOption()

	* metaDown.cc (downPrintOptionSet): added
	(downPrintOption): added

	* descentFunctions.cc (metaPrettyPrint): handle print options argument

	* metaLevelSignature.cc (MACRO): added print option constructors

===================================Maude86===========================================

2004-12-08  Steven Eker  <eker@goo.csl.sri.com>

	* metaUpModule.cc (upPolymorphDecl): handle metadata

	* metaDownOps.cc (downOpDecl): pass metadata to addPolymorph()

	* metaUpModule.cc (upOpDecl): handle metadata

	* metaDownOps.cc (downAttr): handle metadata

	* metaLevel.hh (AttributeInfo): set metadata to NONE

	* metaDownOps.cc (downOpDecl): pass metadata to addOpDeclaration()

	* metaLevel.hh (class MetaLevel): added metadata field to struct AttributeInfo

2004-12-07  Steven Eker  <eker@goo.csl.sri.com>

	* metaDownOps.cc (downOpDecl): pass dummy metadata arg to
	addOpDeclaration()

===================================Maude85a===========================================

2004-12-03  Steven Eker  <eker@goo.csl.sri.com>

	* descentFunctions.cc (metaMaximalAritySet): use upTypeListSet()
	and getMaximalOpDeclSet()

	* metaLevel.hh (class MetaLevel): added decls for upTypeListSet()
	and upTypeList()

	* metaUp.cc (upTypeListSet): added
	(upTypeList): added

2004-12-02  Steven Eker  <eker@goo.csl.sri.com>

	* metaUp.cc (upKindSet): use SortSet ctors rather than KindSet
	ctors

	* metaLevelSignature.cc (MACRO): deleted KindSet ctors (we have
	combined these with SortSet,TypeSet ctors)

2004-12-01  Steven Eker  <eker@goo.csl.sri.com>

	* metaLevel.hh (class MetaLevel): made downTypeList() public

	* descentFunctions.cc (metaMaximalAritySet): added

	* descentSignature.cc (MACRO): added metaMaximalAritySet

2004-11-17  Steven Eker  <eker@goo.csl.sri.com>

	* metaLevel.hh (class MetaLevel): added decls for upTrace() and
	upTraceStep()

	* metaUp.cc (upTraceStep): added
	(upTrace): added

	* metaSearch.cc (metaSearchPath): added

	* metaLevel.hh (class MetaLevel): added decl for upFailureTrace()

	* metaUp.cc (upFailureTrace): added

	* descentSignature.cc (MACRO): added metaSearchPath

	* metaLevelSignature.cc (MACRO): added traceStepSymbol,
	nilTraceSymbol, traceSymbol. failureTraceSymbol

	* metaSearch.cc (makeRewriteSequenceSearch): removed local inline

2004-09-10  Steven Eker  <eker@goo.csl.sri.com>

	* metaUp.cc (upJoin): use KIND
	(upTerm): fix bug by using the exact sort for VARIABLE case rather
	than relying on MixfixModule::disambiguatorSort()
	(upType): use KIND
	(upSortSet): use upType() in place of upQid() so we can handle
	kinds

	* descentFunctions.cc (metaGlbSorts): use downType() rather than
	downSimpleSort()
	(metaGlbSorts): simplified using new findMaximalSorts() interface
	(metaMinimalSorts): use KIND
	(metaMaximalSorts): use KIND

===================================Maude85===========================================

2004-06-21  Steven Eker  <eker@goo.csl.sri.com>

	* metaDown.cc: print the metaterm in the "could not find an
	operator" advisory
	
===================================Maude84d===========================================

2004-06-14  Steven Eker  <eker@goo.csl.sri.com>

	* metaApply.cc (metaApply): support tracing of meta applications
	(metaXapply): support tracing of meta applications
	(metaXapply): unprotect metamodule on abort
	(metaApply): unprotect metamodule on abort

2004-06-07  Steven Eker  <eker@goo.csl.sri.com>

	* descentFunctions.cc (metaRewrite): use saveHiddenState() and
	restoreHiddenState()
	(metaFrewrite): use saveHiddenState() and restoreHiddenState()
	
===================================Maude84c===========================================

2004-05-24  Steven Eker  <eker@goo.csl.sri.com>

	* metaDownFixUps.cc (fixUpBubble): use new fixUpBubbleSpec()
	convention

2004-05-18  Steven Eker  <eker@goo.csl.sri.com>

	* metaUpModule.cc (upModule): handle theories

	* metaDown.cc (downImport): create line number as a temporary

2004-05-17  Steven Eker  <eker@goo.csl.sri.com>

	* metaUpModule.cc (upImports): PROTECTING and EXTENDING now belong
	to ImportModule

	* metaDown.cc (downModule): handle theories
	(downImport): handle import modes and new addImport() conventions

	* metaLevelSignature.cc (MACRO): added fthSymbol and thSymbol
	
===================================Maude84b===========================================

2004-04-27  Steven Eker  <eker@goo.csl.sri.com>

	* metaUpModule.cc (upImports): use getAutoImports() and handle
	protecting/extending
	
===================================Maude84a===========================================

2004-02-27  Steven Eker  <eker@goo.csl.sri.com>

	* metaDownRenamings.cc (downModuleExpression): use interpreter
	inplace of moduleCache (2 places)

	* metaDown.cc (downModule): use interpreter inplace of moduleCache
	(2 places)

	* metaLevel.cc: removed moduleCache hack

	* metaDown.cc (downImport): removed old commented out code
	
===================================Maude84===========================================

2004-02-23  Steven Eker  <eker@goo.csl.sri.com>

	* metaDownFixUps.cc (handleIdentity): (polymorph version) handle
	the case that the idnetity has already been set

	* metaDown.cc (downModule): added call to destructUnusedModules()
	in the success case as well to handle garbage from displaced meta
	modules and meta-meta processing

	* metaLevel.cc: added hack to be able to acces module cache

	* metaModuleCache.cc (regretToInform): added DebugAvisory() to
	check for the case that the doomed module is not in the cache

	* metaDown.cc (downModule): call destructUnusedModules() if we
	fail to complete the metamodule

2004-02-20  Steven Eker  <eker@goo.csl.sri.com>

	* metaDown.cc (downModule): deepSelfDestruct() rather than delete
	partially built module on failure to ensure dependent pointer in
	modules we depend on don't become stale; this fixes a nasty long
	standing bug

	* metaDownRenamings.cc (downRenaming): fixed bad arg #

	* metaDown.cc (downImport): use downModuleExpression()

	* metaLevel.hh (class MetaLevel): added decl for
	downModuleExpression()

	* metaDownRenamings.cc (downModuleExpression): added

2004-02-19  Steven Eker  <eker@goo.csl.sri.com>

	* metaLevel.hh (class MetaLevel): added decls for
	convertToTokens(), downRenamings(), downRenaming(),
	downRenamingTypes(), downRenamingType(), downRenamingAttributes(),
	downRenamingAttribute()

	* metaDownRenamings.cc: created

2004-02-18  Steven Eker  <eker@goo.csl.sri.com>

	* metaLevelSignature.cc (MACRO): changed owiseSymbol and
	nonexecSymbol from FreeSymbol to Symbol

	* metaLevel.hh (class MetaLevel): deleted decl for
	upAttributeSet2()

	* metaUpModule.cc (upImports): simplified using upGroup()
	(upSubsortDecls): simplified using upGroup()
	(upOpDecls): simplified using upGroup()
	(upAttributeSet): use upGroup() in place of upAttributeSet2()
	(upMbs): simplified using upGroup()
	(upEqs): simplified using upGroup()
	(upRls): simplified using upGroup()
	(upStatementAttributes): simplified using upGroup()
	(upStatementAttributes): don't use dummy Vector in owise and
	nonexec cases
	(upRenamingAttributeSet): use upGroup() in place of
	upAttributeSet2()
	(upAttributeSet2): deleted

	* metaLevel.hh (upGroup): added
	(class MetaLevel): added decls for upModuleExpression(),
	upRenaming(), upTypeSorts(), upRenamingAttributeSet(),
	upAttributeSet2()

	* metaUpModule.cc (upModuleExpression): added
	(upRenaming): added
	(upTypeSorts): added
	(upAttributeSet2): added
	(upAttributeSet): use upAttributeSet2()
	(upRenamingAttributeSet): added
	(upImports): use upModuleExpression()

2004-02-17  Steven Eker  <eker@goo.csl.sri.com>

	* metaLevelSignature.cc (MACRO): added renaming and module
	expression constructors

	* metaUpModule.cc (upImports): use new getModuleName() semantics
	
===================================Maude83a===========================================

2003-11-10  Steven Eker  <eker@goo.csl.sri.com>

	* metaDownFixUps.cc (downFixUps): don't try attaching hooks to
	symbols and polymorphs that don't take attachments

	* metaLevel.hh (class MetaLevel): added decl for upSpecial()

	* metaUpModule.cc (upSpecial): added
	(upOpDecl): use upSpecial()

	* metaUp.cc (upTerm): use disambiguatorSort() (5 places)

	* metaLevel.hh (class MetaLevel): added decls for
	upPolymorphSpecial(), upIdHook(), upOpHook(), upTermHook()

	* metaUpModule.cc (upPolymorphDecl): pass qidMap to upQidList()
	(upOpDecl): pass qidMap to upQidList()
	(upPolymorphSpecial): added
	(upIdHook): added
	(upOpHook): added
	(upTermHook): added
	(upPolymorphDecl): use upPolymorphSpecial()

	* metaLevel.hh (class MetaLevel): added decl for qidMap version of
	upQidList()

	* metaUp.cc (upQidList): take qidMap arg
	(upQidList): added no qidMap version

2003-11-05  Steven Eker  <eker@goo.csl.sri.com>

	* metaLevel.cc (getSymbolAttachments): added
	(getTermAttachments): added

	* metaLevel.hh (class MetaLevel): added decls for
	getSymbolAttachments(), getTermAttachments()

	* metaLevelOpSymbol.hh (class MetaLevelOpSymbol): added decls for
	getDataAttachments(), getSymbolAttachments(), getTermAttachments()

	* metaLevelOpSymbol.cc (attachSymbol): call FreeSymbol::attachSymbol()
	(attachTerm): call FreeSymbol::attachTerm()
	(copyAttachments): call FreeSymbol::copyAttachments()
	(getDataAttachments): added
	(getSymbolAttachments): added
	(getTermAttachments): added
	(attachData): call FreeSymbol::attachData()

2003-11-03  Steven Eker  <eker@goo.csl.sri.com>

	* metaLevel.hh (class MetaLevel): added decl for iterToken()

	* metaUp.cc (iterToken): added
	(upContext): use iterToken() to handle iter case, fixing a bug
	(upDagNode): use iterToken()

2003-10-30  Steven Eker  <eker@goo.csl.sri.com>

	* descentSignature.cc (MACRO): added metaUpModule

	* ascentFunctions.cc (metaUpModule): added

	* metaLevel.hh (class MetaLevel): added decl for upModule()

	* metaUpModule.cc (upModule): added

	* metaLevel.hh (class MetaLevel): added declarations for
	upGather() and upIdentity()

	* metaUpModule.cc (upPolymorphDecl): added support for prec,
	gather and id: attributes
	(upOpDecl): added support for prec, gather and id: attributes
	(upIdentity): added
	(upGather): added

2003-10-29  Steven Eker  <eker@goo.csl.sri.com>

	* metaLevel.hh (class MetaLevel): added decls for upStrat() and
	upFrozen()

	* metaUpModule.cc (upStrat): added
	(upFrozen): added
	(upPolymorphDecl): handle strat, frozen, format
	(upOpDecl): handle strat, frozen, format

	* metaLevel.hh (class MetaLevel): added decl for upAttributeSet()

	* metaUpModule.cc (upAttributeSet): added

	* metaLevel.hh (class MetaLevel): added decls for upOpDecl(),
	upPolymorphDecl() and upOpDecls()

	* metaUpModule.cc (upPolymorphDecl): added
	(upOpDecl): added

	* descentSignature.cc (MACRO): added metaUpOpDecls

	* metaUpModule.cc (upOpDecls): added

	* ascentFunctions.cc (metaUpOpDecls): added

	* metaLevel.hh (class MetaLevel): added decl for upImports()

	* descentSignature.cc (MACRO): added metaUpImports

	* metaUpModule.cc (upImports): added

	* ascentFunctions.cc (metaUpImports): added

2003-10-28  Steven Eker  <eker@goo.csl.sri.com>

	* descentSignature.cc (MACRO): added metaUpSubsortDecls

	* ascentFunctions.cc (metaUpSubsortDecls): added

	* metaLevel.hh (class MetaLevel): added decl for upSubsortDecls()

	* metaUpModule.cc (upSubsortDecls): added

	* metaLevel.hh (class MetaLevel): added decl for upSorts()

	* metaUpModule.cc (upSorts): added
	(upSorts): added

	* metaLevel.hh (class MetaLevel): added del for 4 arg version of
	upSortSet()

	* metaUp.cc (upSortSet): added 4 arg version
	(upSortSet): reimplemented in terms of 4 arg version

	* descentSignature.cc (MACRO): added metaUpSorts

	* ascentFunctions.cc (metaUpSorts): added

2003-10-24  Steven Eker  <eker@goo.csl.sri.com>

	* metaLevel.hh (class MetaLevel): updated many decls

	* metaDownFixUps.cc (fixUpIdentitySymbol): renamed to handleIdentity()
	(fixUpSpecialSymbol): renamed to handleSpecial()
	(fixUpPolymorph): renamed to handleSpecial()
	(handleIdentity): added polymorph version

	* metaDownOps.cc (downOpDecl): use new addComplexSymbol() conventions

	* metaLevel.hh (class MetaLevel): replaced IDENTITY_SYMBOL and
	SPECIAL_SYMBOL with REGULAR_SYMBOL in enum ComplexSymbolType

	* metaModule.cc (addComplexSymbol): handle identity separately
	(both versions)
	(removeComplexSymbol): handle identity separately

	* metaModule.hh (class MetaModule): updated decls for all member
	functions; added identity field to struct ComplexSymbol

2003-10-21  Steven Eker  <eker@goo.csl.sri.com>

	* metaDownFixUps.cc (downHook): use safeCast() and temp var
	(downOpHook): use safeCast()
	(fixUpBubble): use safeCast()

	* metaDownOps.cc (downPolymorphTypeList): use polyArgs rather than
	wanted set
	(downAttr): don't subtract 1 from poly attribute numbers
	(downOpDecl): fixed test for range being poly
	(downAttr): use safeCast() (3 places)
	(checkHook): use safeCast()

	* metaLevel.hh (class MetaLevel): added decl for polymorph version
	of downHook()

	* metaDownFixUps.cc (downHook): added polymorph version
	(fixUpPolymorph): rewritten in generic way

	* metaLevel.hh (class MetaLevel): updated decl for
	downPolymorphTypeList()

	* metaDownOps.cc (downPolymorphTypeList): rewritten to handle
	wanted set
	(downOpDecl): polymorph code rewritten in generic way

2003-10-20  Steven Eker  <eker@goo.csl.sri.com>

	* metaDownOps.cc (downAttr): handle poly meta-attribute

	* metaLevel.hh (class MetaLevel): added polyArgs to struct AttributeInfo

	* metaLevelSignature.cc (MACRO): added instatiation for polySymbol

	* metaDownOps.cc (downOpDecl): commented out UP_SYMBOL,
	DOWN_SYMBOL cases

2003-10-13  Steven Eker  <eker@goo.csl.sri.com>

	* metaDownOps.cc (downOpDecl): don't use isPolymorph(); use new
	addPolymorph() convention

===================================Maude83===========================================

2003-09-30  Steven Eker  <eker@goo.csl.sri.com>

	* metaDownFixUps.cc (fixUpPolymorph): handle shareWith hook

	* metaLevel.hh (class MetaLevel): added decl for
	downPolymorphTypeList()

	* metaDownOps.cc (downPolymorphTypeList): added
	(downOpDecl): rewritten using downPolymorphTypeList() and handling
	UP_SYMBOL and DOWN_SYMBOL

2003-09-29  Steven Eker  <eker@goo.csl.sri.com>

	* descentFunctions.cc (metaUpTerm): added
	(metaDownTerm): added

	* metaLevel.hh: made upDagNode() public

	* metaApply.cc (getCachedRewriteSearchState): moved here
	(metaApply): moved here
	(metaXapply): moved here

	* descentSignature.cc: added entries for metaUpTerm() and
	metaDownTerm()

	* metaLevelOpSymbol.cc (eqRewrite): use safeCast()
	(copyAttachments): use safeCast()

===================================Maude82===========================================

2003-05-27  Steven Eker  <eker@goo.csl.sri.com>

	* metaDown.cc (downImport): handle extendingSymbol

	* metaLevelSignature.cc (MACRO): added extendingSymbol

2003-05-23  Steven Eker  <eker@goo.csl.sri.com>

	* metaUpModule.cc (upMbs): only up non-bad mbs
	(upEqs): only up non-bad eqs
	(upRls): only up non-bad rls
	(upStatementAttributes): handle nonexec

	* metaDown.cc (downEquation): handle nonexec
	(downRule): handle nonexec
	(downStatementAttr): handle nonexec
	(downMembAx): handle nonexec

	* metaDownOps.cc (downAttr): handle configSymbol, objectSymbol,
	msgSymbol

	* metaLevelSignature.cc (MACRO): added configSymbol, objectSymbol,
	msgSymbol, nonexecSymbol

	* descentFunctions.cc (metaApply): pass ALLOW_NONEXEC to
	RewriteSearchState() 
	(metaXapply): pass ALLOW_NONEXEC to RewriteSearchState()

2003-05-22  Steven Eker  <eker@goo.csl.sri.com>

	* descentFunctions.cc (metaFrewrite): fixed nasty bug where
	safeCast() macro was causing the creation of 3 subcontexts rather
	than one

2003-05-21  Steven Eker  <eker@goo.csl.sri.com>

	* descentFunctions.cc (metaFrewrite): call setObjectMode()

2003-04-18  Steven Eker  <eker@goo.csl.sri.com>

	* metaDown.cc (downSimpleSortList): fixed != nilQidListSymbol bug
	that we introduced today

	* metaDownOps.cc (checkHookList): rewritten to use
	DagArgumentIterator; fixed fall thru bug

	* metaLevelSignature.cc (MACRO): got rid of AU_DagNode and
	ACU_DagNode

	* metaDownOps.cc (downOpDecl): rewritten to use
	DagArgumentIterator
	(downBubbleSpec): rewritten to use DagArgumentIterator

	* metaDownFixUps.cc (fixUpSpecialSymbol): rewritten to use
	DagArgumentIterator
	(fixUpBubble): rewritten to use DagArgumentIterator
	(fixUpPolymorph): rewritten to use DagArgumentIterator

	* metaDown.cc (downSimpleSortList): rewritten to use
	DagArgumentIterator
	(downTypeList): rewritten to use DagArgumentIterator
	(downCondition): rewritten to use DagArgumentIterator and
	FOR_EACH_CONST()
	(downTermList): rewritten to use DagArgumentIterator and
	FOR_EACH_CONST()
	(downSubstitution): use clear()

2003-04-17  Steven Eker  <eker@goo.csl.sri.com>

	* metaDown.cc (downImports): use DagArgumentIterator instead of
	casting to AU_DagNode
	(downNatList): ditto
	(downQidList): ditto

===================================Maude80===========================================

2003-02-26  Steven Eker  <eker@goo.csl.sri.com>

	* metaUpModule.cc (upConditionFragment): Assert() -> CantHappen()

	* metaUp.cc (upJoin): updated Assert()
	(upDagNode): updated Assert()
	(upTerm): updated Assert()
	(upContext): updated Assert()
	(upResultPair): updated Assert() (both versions)
	(upResultTriple): updated Assert()
	(upResult4Tuple): updated Assert()
	(upAmbiguity): updated Assert()

	* metaOpCache.cc: removed #pragma

	* metaOpCache.hh: removed #pragma

	* metaModuleCache.cc: removed #pragma
	(moveToFront): DebugAdvisoryCheck() -> DebugAdvisory()
	(insert): DebugAdvisoryCheck() -> DebugAdvisory()

	* metaModuleCache.hh: removed #pragma

	* metaModule.cc: removed #pragma

	* metaModule.hh: removed #pragma

	* metaLevelOpSymbol.cc: removed #pragma
	(eqRewrite): updated Assert()

	* metaLevelOpSymbol.hh: removed #pragma

	* metaLevel.cc: removed #pragma
	(bind): updated Assert() (both versions)

	* metaLevel.hh: removed #pragma
	
===================================Maude79===========================================

2003-01-08  Steven Eker  <eker@goo.csl.sri.com>

	* metaDownOps.cc (downOpDecls): use DagArgumentIterator rather
	than messing with ACU_DagNode

	* metaDown.cc (downSorts): use DagArgumentIterator rather than
	messing with ACU_DagNode
	(downSubsorts): ditto
	(downStatementAttrSet): ditto
	(downMembAxs): ditto
	(downEquations): ditto; removed MOS hack
	(downRules): ditto
	(downSubstitution): ditto

===================================Maude78==================================================

2002-11-19  Steven Eker  <eker@goo.csl.sri.com>

	* metaMatch.cc (makeMatchSearchState2): reverted to previous
	version since pattern and subject need not be in the same kind for
	metaXmatch()

2002-11-15  Steven Eker  <eker@goo.csl.sri.com>

	* metaDownFixUps.cc (downOpHook): replaced AdvisoryCheck() with
	new style IssueAdvisory()
	(fixUpBubble): use new style IssueAdvisory()

	* metaDownOps.cc (downOpDecl): use new style IssueAdvisory()
	(downAttr): use new style IssueAdvisory()s

	* metaDown.cc (downSort): use new style IssueAdvisory()
	(downType2): use new style IssueAdvisory()s
	(downSimpleSort): use new style IssueAdvisory()
	(downTermAndSort): use new style IssueAdvisory()
	(downTermPair): use new style IssueAdvisory()
	(downTerm): use new style IssueAdvisory()s

	* metaLevel.cc (bind): (both versions) use new style
	IssueWarning()

2002-11-14  Steven Eker  <eker@goo.csl.sri.com>

	* metaSearch.cc (makeRewriteSequenceSearch): rewritten using
	downTermPair()

	* metaMatch.cc (makeMatchSearchState): rewritten using
	downTermPair()
	(makeMatchSearchState2): rewritten using downTermPair()

	* descentFunctions.cc (dagifySubstitution): don't check for
	component clash here since we always get our substitution from
	downSubstitution() which no longer return substitutions with
	component clashes

	* metaDown.cc (downAssignment): rewritten using downTermPair()

	* metaLevel.hh (class MetaLevel): added decl for downTermAndSort()

	* metaDown.cc (downEquation): rewritten to be symmetric with
	downRule()
	(downConditionFragment): use downTermPair() for
	equality/match/rewrite cases
	(downTermAndSort): added
	(downConditionFragment): use downTermAndSort() in sort test case
	(downMembAx): rewritten using downTermAndSort()

2002-11-13  Steven Eker  <eker@goo.csl.sri.com>

	* metaDown.cc (downRule): rewritten using downTermPair() to fix
	kind clash bug and term memory leak
	(downRule): use safeCast
	(downRule): removed static Vector

	* metaLevel.hh (class MetaLevel): added decl for downTermPair()

	* metaDown.cc (downTermPair): added

2002-11-11  Steven Eker  <eker@goo.csl.sri.com>

	* metaUpModule.cc (upStatementAttributes): handle owise

	* metaLevel.hh (class MetaLevel): updated decls for
	downStatementAttrSet() and downStatementAttr(); added enum Flags

	* metaDown.cc (downStatementAttr): handle owiseSymbol
	(downStatementAttrSet): handle flags
	(downRule): pass flags arg to downStatementAttrSet()
	(downMembAx): pass flags arg to downStatementAttrSet()

	* metaLevelSignature.cc (MACRO): added owiseSymbol

	* metaDown.cc (downEquation): pass owise arg to Equation()

2002-10-11  Steven Eker  <eker@goo.csl.sri.com>

	* metaLevel.hh (class MetaLevel): updated decls for downAttrSet()
	and downAttr()

	* metaDownOps.cc (downAttr): rewritten using AttributeInfo
	(downOpDecl): rewritten using AttributeInfo
	(downAttrSet): rewritten using AttributeInfo

	* metaLevel.hh (class MetaLevel): added struct AttributeInfo
	(AttributeInfo): added

	* metaLevelSignature.cc (MACRO): deleted oldFrozenSymbol

2002-10-10  Steven Eker  <eker@goo.csl.sri.com>

	* metaDown.cc (downQidList): use clear() instead of contractTo(0)

	* metaDownOps.cc (downAttr): take frozen arg
	(downAttrSet): take and pass frozen arg
	(downOpDecl): handle NatSet of frozen args; fixed bug where we were
	not clear format Vector - actually it not a visible bug since if
	we set the format flag, downQidList will clear the Vector for us

	* metaLevelSignature.cc (MACRO): frozenSymbol now take 1 arg;
	added oldFrozenSymbol

2002-10-08  Steven Eker  <eker@goo.csl.sri.com>

	* metaDownOps.cc (downOpDecl): updated frozen hack

2002-10-02  Steven Eker  <eker@goo.csl.sri.com>

	* metaDownOps.cc (downOpDecl): pass dummy frozen arg to
	addOpDeclaration() - must fix later
	
===================================Maude76==================================================

2002-09-08  Steven Eker  <eker@goo.csl.sri.com>

	* metaUp.cc (upJoin): fixed bug where we were starting kind with
	'[ rather than `[

2002-08-27  Steven Eker  <eker@goo.csl.sri.com>

	* metaDownOps.cc (downAttr): handle ctor attribute
	
===================================Maude75==================================================

2002-07-25  Steven Eker  <eker@goo.csl.sri.com>

	* metaUp.cc (upDagNode): deleted MACHINE_INTEGER case
	(upTerm): deleted MACHINE_INTEGER case

	* metaDown.cc (downTerm): deleted SMALL_NAT, SMALL_NEG and ZERO
	cases since we no longer have machine ints
	
===================================Maude74==================================================

2002-06-19  Steven Eker  <eker@goo.csl.sri.com>

	* descentFunctions.cc (metaFrewrite): fixd bug where we were
	comparing gas to 9 rather than 0 to decide if it is legal

	* metaMatch.cc (makeMatchSearchState2): fixed symmetric bug

	* descentFunctions.cc (metaXapply): fixed bug where we were
	passing NONE to RewriteSearchState() in maxDepth = unbounded case,
	but here NONE is interpreted as depth = 0, no extension

2002-06-17  Steven Eker  <eker@goo.csl.sri.com>

	* metaLevel.hh (class MetaLevel): added decl for
	upStatementAttributes()

	* metaUpModule.cc (upStatementAttributes): added
	(upRl): rewritten to use upStatementAttributes()
	(upMb): rewritten to use upStatementAttributes()
	(upEq): rewritten to use upStatementAttributes()

	* metaLevelSignature.cc (MACRO): added stringSymbol

	* metaLevel.hh (class MetaLevel): updated decls for
	downStatementAttrSet() and downStatementAttr()

	* metaDown.cc (downEquation): handle metadata
	(downRule): handle metadata
	(downMembAx): handle metadata
	(downStatementAttrSet): handle metadata
	(downStatementAttr): handle metadata

2002-06-14  Steven Eker  <eker@goo.csl.sri.com>

	* metaLevel.hh (class MetaLevel): added decls for
	downStatementAttrSet() and downStatementAttr()

	* metaDown.cc (downStatementAttr): added
	(downStatementAttrSet): added
	(downMembAx): handle new mb/cmb ctors
	(downEquation): handle new eq/ceq ctors
	(downRule): handle new rl/cel ctors

	* metaLevelSignature.cc (MACRO): added labelSymbol and
	metadataSymbol
	(MACRO): changed arities for mbSymbol, cmbSymbol, eqSymbol and
	ceqSymbol

2002-06-12  Steven Eker  <eker@goo.csl.sri.com>

	* metaDown.cc (downEquation): pass NONE as first arg of Equation()
	(downMembAx): pass NONE as first arg of SortConstraint()

	* descentFunctions.cc (metaRewrite): don't allow a limit of 0
	(metaFrewrite): don't allow limit or gas of 0; use
	downSaturate64() for gas since fairRewrite() doesn't handle gas of
	-1

2002-06-10  Steven Eker  <eker@goo.csl.sri.com>

	* metaUp.cc (upTerm): MachineFloat -> Float
	(upDagNode): MachineFloat -> Float

	* metaDown.cc (downTerm): MachineFloat -> Float

2002-06-07  Steven Eker  <eker@goo.csl.sri.com>

	* metaLevel.hh (class MetaLevel): deleted decl for
	downMachineInt()

	* metaDown.cc (downMachineInt): deleted

	* metaLevel.hh (class MetaLevel): deleted decl for upMachineInt()

	* metaUp.cc (upNoParse): use makeNatDag()
	(upMachineInt): deleted

	* metaSearch.cc (metaSearch): use downSaturate64()
	(makeRewriteSequenceSearch): use downBound()

	* descentFunctions.cc (metaXapply): no need to convert a maxDepth
	of -1 into INT_MAX since RewriteSearchState() groks -1 as unbounded

	* metaMatch.cc (metaMatch): use downSaturate64()
	(metaXmatch): use downSaturate64()
	(makeMatchSearchState2): use downSaturate() and downBound()

	* metaLevel.hh (downNat): deleted
	(downNat64): deleted

	* metaDown.cc (downBound): added
	(downSaturate): added

	* descentFunctions.cc (metaApply): use downSaturate64()
	(metaXapply): use downSaturate64(), downBound(), downSaturate()

	* metaLevel.hh (class MetaLevel): added decl for downSaturate64()

	* metaDown.cc (downSaturate64): added

	* descentFunctions.cc (metaRewrite): use downBound64()
	(metaFrewrite): use downBound64() (2 places)

	* metaLevel.hh (class MetaLevel): added decl for downBound64()

	* metaDown.cc (downBound64): added

	* metaLevelSignature.cc (MACRO): added unboundedSymbol

	* descentFunctions.cc (metaRewrite): use downNat64()

	* metaLevel.hh (downNat): added
	(downNat64): added

	* metaDownOps.cc (downAttr): use downNatList()
	(downAttr): use getSignedInt() and safeCast()

	* metaLevel.hh (class MetaLevel): decl for downNatList() replaces
	decl for downMachineIntList()

	* metaDown.cc (downMachineIntList): becomes downNatList()

	* metaLevelSignature.cc (MACRO): replace machine int stuff with
	succSymbol and natListSymbol
	
===================================Maude73==================================================

2002-05-31  Steven Eker  <eker@goo.csl.sri.com>

	* metaDownOps.cc (downAttr): support iterSymbol

	* metaLevelSignature.cc (MACRO): added iterSymbol

	* metaUp.cc (upDagNode): handle iter theory by creating metaterms
	like 'f^42[...]
	(upTerm):  handle iter theory likewise

2002-05-24  Steven Eker  <eker@goo.csl.sri.com>

	* metaDown.cc (downTerm): support downing terms of the form
	f^42(...)

2002-05-22  Steven Eker  <eker@goo.csl.sri.com>

	* metaDown.cc (downTerm): added Token::ZERO case

2002-04-15  Steven Eker  <eker@goo.csl.sri.com>

	* metaDownOps.cc (checkHook): use
	SymbolType::specialNameToBasicType()

	* descentFunctions.cc (metaSortLeq): check that sorts are in the
	same component - this fixes a bug.

2002-04-09  Steven Eker  <eker@goo.csl.sri.com>

	* metaDown.cc (downImport): use interpreter.getModule() in place
	of PreModule::findModule()
	
===================================Maude72==================================================

2002-04-05  Steven Eker  <eker@goo.csl.sri.com>

	* metaDownOps.cc (downAttr): fix bugs where we weren't calling
	symbolType.setFlags(SymbolType::GATHER) and
	symbolType.setFlags(SymbolType::FORMAT)

2002-04-04  Steven Eker  <eker@goo.csl.sri.com>

	* metaLevel.hh (class MetaLevel): updated decls for downAttrSet()
	and downAttr()

	* metaDownOps.cc (downOpDecl): pass format arg to downAttrSet()
	(downAttrSet): take format arg and pass it to downAttr()
	(downAttr): support format attribute

	* metaLevelSignature.cc (MACRO): added formatSymbol

2002-04-03  Steven Eker  <eker@goo.csl.sri.com>

	* descentFunctions.cc (dagifySubstitution): simplified using
	normalize() default 2nd arg
	(term2RewritingContext): simplified using normalize() default 2nd
	arg
	(metaLeastSort): simplified using normalize() default 2nd arg
	(metaReduce): simplified using normalize() default 2nd arg
	(metaRewrite): simplified using normalize() default 2nd arg
	(metaFrewrite): simplified using normalize() default 2nd arg

	* metaUp.cc (upContext): simplified now that makeDagNode() has a
	default argument
	(upResultTriple): deleted unused static dummy Vector
	(upResult4Tuple): deleted unused static dummy Vector
	(upSubstition): simplified now that makeDagNode() has a default
	argument
	(upFailureTriple): simplified now that makeDagNode() has a default
	argument
	(upNoMatchSubst): simplified now that makeDagNode() has a default
	argument
	(upNoMatchPair): simplified now that makeDagNode() has a default
	argument
	(upFailure4Tuple): simplified now that makeDagNode() has a default
	argument

	* descentSignature.cc: added metaUpMbs, metaUpEqs

	* ascentFunctions.cc (metaUpMbs): added
	(metaUpEqs): added

	* metaLevel.hh (class MetaLevel): added decls for upMb(), upEq(),
	upMbs(), upEqs()

	* metaUpModule.cc (upEqs): added
	(upEq): added
	(upMbs): added
	(upMb): added

	* ascentFunctions.cc (metaUpRls): handle flat flag

	* metaLevel.hh (class MetaLevel): added decl for downBool()

	* metaDown.cc (downBool): added

	* ascentFuctions.cc: created

	* descentSignature.cc (MACRO): added metaUpRls

	* metaLevel.hh (class MetaLevel): added decls for upRl(),
	upLabel(), upCondition(), upConditionFragment(),  upRls()

	* metaUpModule.cc (upRls): created
	
===================================Maude71a==================================================

2002-03-22  Steven Eker  <eker@goo.csl.sri.com>

	* meta.hh: created
	
===================================Maude71==================================================

2002-03-10  Steven Eker  <eker@goo.csl.sri.com>

	* metaDownOps.cc (checkHook): fixed bug where we were setting
	basic type even when MixfixModule::specialNameToBasicType()
	returned 0; this caused addition id-hooks such as exclude to
	overwrite the original basic type

2002-02-12  Steven Eker  <eker@goo.csl.sri.com>

	* metaLevelOpSymbol.cc (attachData): check arity and well as op
	name

	* descentSignature.cc (MACRO): metaXmatch now has 7 args

	* metaLevelOpSymbol.hh (class MetaLevelOpSymbol): added decl for
	makeMatchSearchState2()

	* metaMatch.cc (makeMatchSearchState2): added
	(metaXmatch): simplified and support side condition using
	makeMatchSearchState2()

	* metaLevelOpSymbol.hh (class MetaLevelOpSymbol): updared decls
	for makeRewriteSequenceSearch() and downSearchType()

	* metaSearch.cc (makeRewriteSequenceSearch): made const
	(downSearchType): made const

	* metaLevelOpSymbol.hh (class MetaLevelOpSymbol): delete static
	data member eagerStrategy

	* metaLevelOpSymbol.cc (MetaLevelOpSymbol): don't pass
	eagerStrategy to FreeSymbol()

	* metaLevelOpSymbol.hh (class MetaLevelOpSymbol): ma
	(class MetaLevelOpSymbol): made term2Dag() and
	term2RewritingContext() static

	* descentSignature.cc (MACRO): metaMatch now has 5 args

	* metaLevelOpSymbol.hh (class MetaLevelOpSymbol): added decl for
	makeMatchSearchState()

	* metaMatch.cc (getCachedMatchSearchState): moved here
	(metaMatch): moved here
	(metaXmatch): moved here
	(makeMatchSearchState): added
	(metaMatch): simplified and support side condition using
	makeMatchSearchState()

	* metaSearch.cc (downSearchType): moved here
	(getCachedRewriteSequenceSearch): moved here
	(makeRewriteSequenceSearch): moved here
	(metaSearch): moved here

2002-02-11  Steven Eker  <eker@goo.csl.sri.com>

	* metaLevel.hh (class MetaLevel): made downCondition() public

	* descentSignature.cc (MACRO): metaSearch() now has 7 args

	* descentFunctions.cc (makeRewriteSequenceSearch): added; handle condition
	(metaSearch): simplified using makeRewriteSequenceSearch()

	* metaDown.cc (downCondition): handle noConditionSymbol; fix
	memory leak by deleting already downed fragments in the case of
	and error

	* metaLevelSignature.cc (MACRO): added noConditionSymbol

	* descentFunctions.cc (metaApply): use transferCount() instead of
	addInCount() for RewriteSearchState
	(metaXapply): use transferCount() instead of addInCount() for
	RewriteSearchState
	(metaMatch): use transferCount() instead of addInCount() for
	MatchSearchState
	(metaXmatch): use transferCount() instead of addInCount() for
	MatchSearchState
	(metaSearch): use transferCount() instead of addInCount() and
	clearCount()

2002-02-07  Steven Eker  <eker@goo.csl.sri.com>

	* metaLevel.cc: added #includes for new classes

	* metaDown.cc (downConditionFragment): use classes
	EqualityConditionFragment, SortTestConditionFragment,
	AssignmentConditionFragment and RewriteConditionFragment in place
	of old ConditionFragment class

2002-02-04  Steven Eker  <eker@goo.csl.sri.com>

	* metaDownOps.cc (downOpDecl): pass dummy format to
	addOpDeclaration() and addPolymorph()

2002-01-31  Steven Eker  <eker@goo.csl.sri.com>

	* metaUp.cc (upDagNode): rewritten using class SymbolType

	* metaLevelSignature.cc: rewritten using class SymbolType

	* metaUp.cc (upTerm): rewritten using class SymbolType

	* metaDownFixUps.cc (fixUpIdentitySymbol): rewritten using class
	SymbolType

	* metaDownOps.cc: rewritten using class SymbolType

	* metaDownFixUps.cc (downOpHook): use new findSymbol()

	* metaDown.cc (downTerm): use new findSymbol() (2 places)
	
===================================Maude70==================================================

2002-01-24  Steven Eker  <eker@goo.csl.sri.com>

	* descentFunctions.cc (metaSearch): added Verbose() call
	(metaSearch): removed const_casts

	* metaLevel.hh (class MetaLevel): updated decls

	* metaUp.cc (upResultTriple): made substitution & variableInfo
	args const
	(upResult4Tuple): made substitution & variableInfo args const
	(upSubstition): made substitution & variableInfo args const
	(upMatchPair): made substitution & variableInfo args const

2002-01-23  Steven Eker  <eker@goo.csl.sri.com>

	* metaOpCache.cc (clear): Triple -> Item

	* metaOpCache.hh (class MetaOpCache): added search field to struct
	Triple and renamed it to struct Item

	* metaOpCache.cc (insert): added RewriteSequenceSearch version
	(remove): added RewriteSequenceSearch version
	(insert): clear search field in SearchState version
	(clear): delete search

	* descentFunctions.cc (downSearchType): added
	(getCachedRewriteSequenceSearch): added
	(metaSearch): added

	* descentSignature.cc (MACRO): added metaSearch

2001-12-21  Steven Eker  <eker@goo.csl.sri.com>

	* metaLevelOpSymbol.hh (class MetaLevelOpSymbol): updated decls
	for getCachedRewriteSearchState() and getCachedMatchSearchState()

	* descentFunctions.cc (getCachedRewriteSearchState): take context
	and pass it to remove()
	(getCachedMatchSearchState): take context and pass it to remove()
	(metaApply): pass context to getCachedRewriteSearchState()
	(metaXapply): pass context to getCachedRewriteSearchState()
	(metaMatch): pass context to getCachedMatchSearchState()
	(metaXmatch): pass context to getCachedMatchSearchState()

	* metaOpCache.cc (remove): take parent context ptr, and if we
	extra a cached state, have the states context be adopted by the
	parent context; this fixes a nasty bug where there original parent
	may no longer exist and the cached states context has a stale
	parent pointer

	* metaOpCache.hh (class MetaOpCache): updated decl for remove()

2001-04-25  Steven Eker  <eker@goo.csl.sri.com>

	* descentFunctions.cc (metaMatch): pass GC flags to
	MatchSearchState()
	(metaXmatch): pass GC flags to MatchSearchState()
	(metaApply): pass GC flags to RewriteSearchState()
	(metaXapply): pass GC flags to RewriteSearchState()

2001-03-29  Steven Eker  <eker@goo.csl.sri.com>

	* metaDownOps.cc (downAttr): handle frozen attribute

	* metaLevelOpSymbol.hh (class MetaLevelOpSymbol): generate decls
	for desent functions by macro expansion

	* metaLevelSignature.cc (MACRO): added decl for frozenSymbol

	* descentSignature.cc: added MACRO for metaFrewrite; corrected
	MACRO for metaRewrite

	* descentFunctions.cc (metaRewrite): use limit = NONE convention
	(metaFrewrite): added

2001-03-28  Steven Eker  <eker@goo.csl.sri.com>

	* descentFunctions.cc (metaRewrite): call resetRules()

2001-03-16  Steven Eker  <eker@goo.csl.sri.com>

	* descentFunctions.cc (metaLeastSort): use addInCount() instead of
	incrementCount() and count()
	(metaReduce): use addInCount() instead of incrementCount() and
	count()
	(metaRewrite): use addInCount() instead of incrementCount() and
	count()
	(metaApply): use addInCount() instead of incrementCount() and
	count(); use incrementRlCount()
	(metaXapply): use addInCount() instead of incrementCount() and
	count(); use incrementRlCount()
	(metaXmatch): use addInCount() instead of incrementCount() and
	count()
	(metaApply): use addInCount() instead of incrementCount() and
	count()

