Home
last modified time | relevance | path

Searched refs:CUI_Symbol (Results 1 – 18 of 18) sorted by relevance

/dports/lang/maude/maude-2.7.1/src/CUI_Theory/
H A DCUI_Symbol.cc58 CUI_Symbol::CUI_Symbol(int id, in CUI_Symbol() function in CUI_Symbol
73 CUI_Symbol::compileOpDeclarations() in compileOpDeclarations()
83 CUI_Symbol::postOpDeclarationPass() in postOpDeclarationPass()
100 CUI_Symbol::makeTerm(const Vector<Term*>& args) in makeTerm()
248 CUI_Symbol::computeBaseSort(DagNode* subject) in computeBaseSort()
281 CUI_Symbol::stackArguments(DagNode* subject, in stackArguments()
298 CUI_Symbol::setFrozen(const NatSet& frozen) in setFrozen()
307 CUI_Symbol::termify(DagNode* dagNode) in termify()
363 CUI_Symbol::makeUnificationSubproblem() in makeUnificationSubproblem()
371 CUI_Symbol::unificationPriority() const in unificationPriority()
[all …]
H A DChangeLog91 * CUI_Symbol.cc (CUI_Symbol::postOpDeclarationPass): don't call
98 * CUI_Symbol.cc (CUI_Symbol::makeCanonicalCopyEagerUptoReduced):
101 * CUI_Symbol.hh (class CUI_Symbol):
108 * CUI_Symbol.cc (CUI_Symbol::makeCanonicalCopyEagerUptoReduced):
112 * CUI_Symbol.hh (class CUI_Symbol): added decl for
218 * CUI_Symbol.hh (class CUI_Symbol): added decl for
370 * CUI_Symbol.hh (class CUI_Symbol): added decl for
674 * CUI_Symbol.cc (CUI_Symbol): added memoFlag arg
690 * CUI_Symbol.hh (class CUI_Symbol): computeTrueSort() ->
828 * CUI_Symbol.cc (CUI_Symbol): deleted inert arg
[all …]
H A DCUI_Symbol.hh30 class CUI_Symbol : public BinarySymbol class
41 CUI_Symbol(int id,
99 CUI_Symbol::comm() const in comm()
105 CUI_Symbol::leftId() const in leftId()
111 CUI_Symbol::rightId() const in rightId()
117 CUI_Symbol::idem() const in idem()
H A DCUI_DagNode.hh33 CUI_DagNode(CUI_Symbol* symbol);
65 CUI_Symbol* symbol() const;
97 friend class CUI_Symbol; // to reduce subterms prior to rewrite, normalization
104 CUI_DagNode::CUI_DagNode(CUI_Symbol* symbol) in CUI_DagNode()
109 inline CUI_Symbol*
112 return static_cast<CUI_Symbol*>(DagNode::symbol()); in symbol()
H A DCUI_Term.hh35 CUI_Term(CUI_Symbol* symbol, const Vector<Term*>& arguments);
70 CUI_Symbol* symbol() const;
73 CUI_Term(const CUI_Term& original, CUI_Symbol* symbol, SymbolMap* translator);
87 inline CUI_Symbol*
90 return static_cast<CUI_Symbol*>(Term::symbol()); in symbol()
H A DCUI_Term.cc63 CUI_Term::CUI_Term(CUI_Symbol* symbol, const Vector<Term*>& arguments) in CUI_Term()
72 CUI_Term::CUI_Term(const CUI_Term& original, CUI_Symbol* symbol, SymbolMap* translator) in CUI_Term()
97 CUI_Symbol* s = symbol(); in deepCopy2()
103 s = dynamic_cast<CUI_Symbol*>(s2); in deepCopy2()
133 CUI_Symbol* s = symbol(); in normalize()
193 CUI_Symbol* s = symbol(); in findEagerVariables()
205 CUI_Symbol* s = symbol(); in markEagerArguments()
228 CUI_Symbol* topSymbol = symbol(); in analyseCollapses2()
279 CUI_Symbol* s = symbol(); in findAvailableTerms()
296 CUI_Symbol* s = symbol(); in compileRhs2()
H A DCUI_DagNode.cc98 CUI_Symbol* s = symbol(); in copyEagerUptoReduced2()
197 CUI_Symbol* s = symbol(); in normalizeAtTop()
237 CUI_Symbol* s = symbol(); in computeBaseSortForGroundSubterms()
299 CUI_Symbol* s = symbol(); in computeSolvedFormCommutativeCase()
328 CUI_Symbol* s = symbol(); in computeSolvedFormCommutativeCase()
351 CUI_Symbol* s = symbol(); in computeSolvedForm2()
455 CUI_Symbol* s = symbol(); in makePurifiedVersion()
528 CUI_Symbol* s = symbol(); in instantiate2()
600 CUI_Symbol* s = symbol(); in instantiateWithCopies2()
H A DMakefile.in103 am_libCUI_Theory_a_OBJECTS = libCUI_Theory_a-CUI_Symbol.$(OBJEXT) \
291 CUI_Symbol.cc \
311 CUI_Symbol.hh \
371 @AMDEP_TRUE@@am__include@ @am__quote@./$(DEPDIR)/libCUI_Theory_a-CUI_Symbol.Po@am__quote@
390 libCUI_Theory_a-CUI_Symbol.o: CUI_Symbol.cc
391 …CUI_Symbol.o -MD -MP -MF $(DEPDIR)/libCUI_Theory_a-CUI_Symbol.Tpo -c -o libCUI_Theory_a-CUI_Symbol…
392 …RUE@ $(AM_V_at)$(am__mv) $(DEPDIR)/libCUI_Theory_a-CUI_Symbol.Tpo $(DEPDIR)/libCUI_Theory_a-CUI_Sy…
395 …XFLAGS) $(CXXFLAGS) -c -o libCUI_Theory_a-CUI_Symbol.o `test -f 'CUI_Symbol.cc' || echo '$(srcdir)…
397 libCUI_Theory_a-CUI_Symbol.obj: CUI_Symbol.cc
398 …LAGS) -MT libCUI_Theory_a-CUI_Symbol.obj -MD -MP -MF $(DEPDIR)/libCUI_Theory_a-CUI_Symbol.Tpo -c -…
[all …]
H A DCUI_RhsAutomaton.hh35 CUI_RhsAutomaton(CUI_Symbol* symbol);
49 CUI_Symbol* const topSymbol;
H A DMakefile.am11 CUI_Symbol.cc \
31 CUI_Symbol.hh \
H A DCUI_LhsAutomaton.hh48 CUI_LhsAutomaton(CUI_Symbol* topSymbol,
121 CUI_Symbol* const topSymbol;
H A DCUI_Theory.hh29 class CUI_Symbol;
H A DCUI_RhsAutomaton.cc46 CUI_RhsAutomaton::CUI_RhsAutomaton(CUI_Symbol* symbol) in CUI_RhsAutomaton()
H A DCUI_LhsAutomaton.cc67 CUI_LhsAutomaton::CUI_LhsAutomaton(CUI_Symbol* topSymbol, in CUI_LhsAutomaton()
H A DCUI_UnificationSubproblem2.cc89 CUI_Symbol* topSymbol = l->symbol(); in addUnification()
/dports/lang/maude/maude-2.7.1/src/BuiltIn/
H A DCUI_NumberOpSymbol.cc54 : CUI_Symbol(id, standard, false, axioms) in CUI_NumberOpSymbol()
66 return CUI_Symbol::attachData(opDeclaration, purpose, data); in attachData()
73 return CUI_Symbol::attachSymbol(purpose, symbol); in attachSymbol()
82 CUI_Symbol::copyAttachments(original, map); in copyAttachments()
102 CUI_Symbol::getDataAttachments(opDeclaration, purposes, data); in getDataAttachments()
110 CUI_Symbol::getSymbolAttachments(purposes, symbols); in getSymbolAttachments()
146 return CUI_Symbol::eqRewrite(subject, context); in eqRewrite()
H A DCUI_NumberOpSymbol.hh30 class CUI_NumberOpSymbol : public CUI_Symbol
/dports/lang/maude/maude-2.7.1/src/Mixfix/
H A Dentry.cc645 axioms |= CUI_Symbol::COMM; in newFancySymbol()
660 axioms |= CUI_Symbol::IDEM; in newFancySymbol()
676 axioms |= CUI_Symbol::LEFT_ID; in newFancySymbol()
691 axioms |= CUI_Symbol::RIGHT_ID; in newFancySymbol()
703 new CUI_NumberOpSymbol(name, static_cast<CUI_Symbol::Axioms>(axioms)) : in newFancySymbol()
704 new CUI_Symbol(name, in newFancySymbol()
707 static_cast<CUI_Symbol::Axioms>(axioms)); in newFancySymbol()