Home
last modified time | relevance | path

Searched refs:Renaming (Results 1 – 25 of 3211) sorted by relevance

12345678910>>...129

/dports/lang/maude/maude-2.7.1/src/Mixfix/
H A Drenaming.hh34 class Renaming : public SyntaxContainer class
37 virtual ~Renaming() {} in ~Renaming()
128 Renaming::getNrSortMappings() const in getNrSortMappings()
140 Renaming::getSortTo(int index) const in getSortTo()
146 Renaming::getNrLabelMappings() const in getNrLabelMappings()
164 Renaming::getNrOpMappings() const in getNrOpMappings()
170 Renaming::getOpFrom(int index) const in getOpFrom()
176 Renaming::getOpTo(int index) const in getOpTo()
200 Renaming::getPrec(int index) const in getPrec()
206 Renaming::getGather(int index) const in getGather()
[all …]
H A Drenaming.cc67 Renaming::makeCanonicalName() const in makeCanonicalName()
193 Renaming*
196 Renaming* canonical = new Renaming; in makeCanonicalVersion()
362 Renaming::renameSort(int oldId) const in renameSort()
369 Renaming::renameLabel(int oldId) const in renameLabel()
473 Renaming::addSortAndLabelMappings(const Renaming* original) in addSortAndLabelMappings()
494 Renaming::addOpMappingPartialCopy(const Renaming* original, int index) in addOpMappingPartialCopy()
567 Renaming::addOpMapping(int code) in addOpMapping()
610 Renaming::addOpTarget(int code) in addOpTarget()
617 Renaming::addOpTargetTerm(Term* term) in addOpTargetTerm()
[all …]
H A DimportModule.hh136 static Renaming* instantiateRenaming(const Renaming* original,
146 void donateSorts2(ImportModule* copy, Renaming* renaming = 0);
148 void donateOps2(ImportModule* copy, Renaming* renaming = 0);
150 void fixUpDonatedOps2(ImportModule* copy, Renaming* renaming = 0);
154 void finishCopy(ImportModule* copy, Renaming* canonical);
164 void addOpMappingsFromView(Renaming* canonical,
172 Renaming* canonical,
179 Renaming* canonical,
186 Renaming* canonical,
190 void handleParameterizedSorts(Renaming* canonical,
[all …]
H A DimportTranslation.hh37 ImportTranslation(ImportModule* target, Renaming* renaming = 0);
38 void push(Renaming* renaming, ImportModule* target);
58 typedef list<Renaming*> RenamingList;
61 static ConnectedComponent* translate(Renaming* renaming,
85 ImportTranslation::push(Renaming* renaming, ImportModule* target) in push()
H A Dparameterization.cc32 Renaming* canonical = new Renaming; in makeParameterCopy()
82 Renaming* canonical, in handleInstantiationByParameter()
140 Renaming* canonical, in handleInstantiationByTheoryView()
209 Renaming* canonical, in handleInstantiationByModuleView()
260 ImportModule::addOpMappingsFromView(Renaming* canonical, in addOpMappingsFromView()
333 ImportModule::handleParameterizedSorts(Renaming* canonical, in handleParameterizedSorts()
464 Renaming* canonical = new Renaming; in makeInstantiation()
551 Renaming* newRenaming = in instantiateBoundParameters()
657 Renaming*
658 ImportModule::instantiateRenaming(const Renaming* original, in instantiateRenaming()
[all …]
/dports/math/vampire/vampire-4.5.1/Kernel/
H A DRenaming.cpp44 Literal* Renaming::apply(Literal* lit) in apply()
55 Term* Renaming::apply(Term* trm) in apply()
66 TermList Renaming::apply(TermList trm) in apply()
77 bool Renaming::identity() const in identity()
118 void Renaming::makeInverse(const Renaming& orig) in makeInverse()
133 Literal* Renaming::normalize(Literal* l) in normalize()
137 static Renaming n; in normalize()
143 Term* Renaming::normalize(Term* trm) in normalize()
147 static Renaming n; in normalize()
156 void Renaming::assertValid() const in assertValid()
[all …]
H A DRenaming.hpp42 class Renaming { class
44 CLASS_NAME(Renaming);
45 USE_ALLOCATOR(Renaming);
47 Renaming() : in Renaming() function in Kernel::Renaming
54 Renaming(unsigned firstVar) : in Renaming() function in Kernel::Renaming
88 void makeInverse(const Renaming& orig);
101 Applicator(Renaming* parent) : _parent(parent) {} in Applicator()
105 Renaming* _parent;
/dports/lang/php81/php-8.1.1/ext/standard/tests/file/
H A Drename_variation5.phpt26 echo "\n-- Renaming link to same link name --\n";
29 echo "\n-- Renaming file to same file name --\n";
62 -- Renaming link to same link name --
65 -- Renaming file to same file name --
68 -- Renaming directory to same directory name --
71 -- Renaming existing link to existing directory name --
76 -- Renaming existing link to existing file name --
79 -- Renaming existing file to existing directory name --
84 -- Renaming existing file to existing link name --
87 -- Renaming existing directory to existing file name --
[all …]
H A Drename_variation3-win32.phpt28 echo "\n-- Renaming file to same file name --\n";
32 echo "\n-- Renaming directory to same directory name --\n";
36 echo "\n-- Renaming existing file to existing directory name --\n";
41 echo "\n-- Renaming existing directory to existing file name --\n";
60 -- Renaming file to same file name --
64 -- Renaming directory to same directory name --
68 -- Renaming existing file to existing directory name --
75 -- Renaming existing directory to existing file name --
/dports/lang/php73/php-7.3.33/ext/standard/tests/file/
H A Drename_variation5.phpt26 echo "\n-- Renaming link to same link name --\n";
29 echo "\n-- Renaming file to same file name --\n";
62 -- Renaming link to same link name --
65 -- Renaming file to same file name --
68 -- Renaming directory to same directory name --
71 -- Renaming existing link to existing directory name --
76 -- Renaming existing link to existing file name --
79 -- Renaming existing file to existing directory name --
84 -- Renaming existing file to existing link name --
87 -- Renaming existing directory to existing file name --
[all …]
H A Drename_variation3-win32.phpt32 echo "\n-- Renaming file to same file name --\n";
36 echo "\n-- Renaming directory to same directory name --\n";
40 echo "\n-- Renaming existing file to existing directory name --\n";
45 echo "\n-- Renaming existing directory to existing file name --\n";
64 -- Renaming file to same file name --
68 -- Renaming directory to same directory name --
72 -- Renaming existing file to existing directory name --
79 -- Renaming existing directory to existing file name --
/dports/lang/php80/php-8.0.15/ext/standard/tests/file/
H A Drename_variation5.phpt26 echo "\n-- Renaming link to same link name --\n";
29 echo "\n-- Renaming file to same file name --\n";
62 -- Renaming link to same link name --
65 -- Renaming file to same file name --
68 -- Renaming directory to same directory name --
71 -- Renaming existing link to existing directory name --
76 -- Renaming existing link to existing file name --
79 -- Renaming existing file to existing directory name --
84 -- Renaming existing file to existing link name --
87 -- Renaming existing directory to existing file name --
[all …]
H A Drename_variation3-win32.phpt28 echo "\n-- Renaming file to same file name --\n";
32 echo "\n-- Renaming directory to same directory name --\n";
36 echo "\n-- Renaming existing file to existing directory name --\n";
41 echo "\n-- Renaming existing directory to existing file name --\n";
60 -- Renaming file to same file name --
64 -- Renaming directory to same directory name --
68 -- Renaming existing file to existing directory name --
75 -- Renaming existing directory to existing file name --
/dports/lang/php74/php-7.4.27/ext/standard/tests/file/
H A Drename_variation5.phpt26 echo "\n-- Renaming link to same link name --\n";
29 echo "\n-- Renaming file to same file name --\n";
62 -- Renaming link to same link name --
65 -- Renaming file to same file name --
68 -- Renaming directory to same directory name --
71 -- Renaming existing link to existing directory name --
76 -- Renaming existing link to existing file name --
79 -- Renaming existing file to existing directory name --
84 -- Renaming existing file to existing link name --
87 -- Renaming existing directory to existing file name --
[all …]
H A Drename_variation3-win32.phpt32 echo "\n-- Renaming file to same file name --\n";
36 echo "\n-- Renaming directory to same directory name --\n";
40 echo "\n-- Renaming existing file to existing directory name --\n";
45 echo "\n-- Renaming existing directory to existing file name --\n";
64 -- Renaming file to same file name --
68 -- Renaming directory to same directory name --
72 -- Renaming existing file to existing directory name --
79 -- Renaming existing directory to existing file name --
/dports/www/mod_php81/php-8.1.1/ext/standard/tests/file/
H A Drename_variation5.phpt26 echo "\n-- Renaming link to same link name --\n";
29 echo "\n-- Renaming file to same file name --\n";
62 -- Renaming link to same link name --
65 -- Renaming file to same file name --
68 -- Renaming directory to same directory name --
71 -- Renaming existing link to existing directory name --
76 -- Renaming existing link to existing file name --
79 -- Renaming existing file to existing directory name --
84 -- Renaming existing file to existing link name --
87 -- Renaming existing directory to existing file name --
[all …]
H A Drename_variation3-win32.phpt28 echo "\n-- Renaming file to same file name --\n";
32 echo "\n-- Renaming directory to same directory name --\n";
36 echo "\n-- Renaming existing file to existing directory name --\n";
41 echo "\n-- Renaming existing directory to existing file name --\n";
60 -- Renaming file to same file name --
64 -- Renaming directory to same directory name --
68 -- Renaming existing file to existing directory name --
75 -- Renaming existing directory to existing file name --
/dports/www/mod_php73/php-7.3.33/ext/standard/tests/file/
H A Drename_variation5.phpt26 echo "\n-- Renaming link to same link name --\n";
29 echo "\n-- Renaming file to same file name --\n";
62 -- Renaming link to same link name --
65 -- Renaming file to same file name --
68 -- Renaming directory to same directory name --
71 -- Renaming existing link to existing directory name --
76 -- Renaming existing link to existing file name --
79 -- Renaming existing file to existing directory name --
84 -- Renaming existing file to existing link name --
87 -- Renaming existing directory to existing file name --
[all …]
H A Drename_variation3-win32.phpt32 echo "\n-- Renaming file to same file name --\n";
36 echo "\n-- Renaming directory to same directory name --\n";
40 echo "\n-- Renaming existing file to existing directory name --\n";
45 echo "\n-- Renaming existing directory to existing file name --\n";
64 -- Renaming file to same file name --
68 -- Renaming directory to same directory name --
72 -- Renaming existing file to existing directory name --
79 -- Renaming existing directory to existing file name --
/dports/www/mod_php74/php-7.4.27/ext/standard/tests/file/
H A Drename_variation5.phpt26 echo "\n-- Renaming link to same link name --\n";
29 echo "\n-- Renaming file to same file name --\n";
62 -- Renaming link to same link name --
65 -- Renaming file to same file name --
68 -- Renaming directory to same directory name --
71 -- Renaming existing link to existing directory name --
76 -- Renaming existing link to existing file name --
79 -- Renaming existing file to existing directory name --
84 -- Renaming existing file to existing link name --
87 -- Renaming existing directory to existing file name --
[all …]
H A Drename_variation3-win32.phpt32 echo "\n-- Renaming file to same file name --\n";
36 echo "\n-- Renaming directory to same directory name --\n";
40 echo "\n-- Renaming existing file to existing directory name --\n";
45 echo "\n-- Renaming existing directory to existing file name --\n";
64 -- Renaming file to same file name --
68 -- Renaming directory to same directory name --
72 -- Renaming existing file to existing directory name --
79 -- Renaming existing directory to existing file name --
/dports/www/mod_php80/php-8.0.15/ext/standard/tests/file/
H A Drename_variation5.phpt26 echo "\n-- Renaming link to same link name --\n";
29 echo "\n-- Renaming file to same file name --\n";
62 -- Renaming link to same link name --
65 -- Renaming file to same file name --
68 -- Renaming directory to same directory name --
71 -- Renaming existing link to existing directory name --
76 -- Renaming existing link to existing file name --
79 -- Renaming existing file to existing directory name --
84 -- Renaming existing file to existing link name --
87 -- Renaming existing directory to existing file name --
[all …]
H A Drename_variation3-win32.phpt28 echo "\n-- Renaming file to same file name --\n";
32 echo "\n-- Renaming directory to same directory name --\n";
36 echo "\n-- Renaming existing file to existing directory name --\n";
41 echo "\n-- Renaming existing directory to existing file name --\n";
60 -- Renaming file to same file name --
64 -- Renaming directory to same directory name --
68 -- Renaming existing file to existing directory name --
75 -- Renaming existing directory to existing file name --
/dports/math/vampire/vampire-4.5.1/Test/
H A DCompitOutput.hpp84 Renaming norm; in insert()
93 Renaming norm; in remove()
104 Renaming norm; in getUnifications()
124 Renaming norm; in insert()
131 Renaming norm; in remove()
139 Renaming norm; in getUnifications()
H A DCompit2Output.hpp87 Renaming norm; in insert()
96 Renaming norm; in remove()
107 Renaming norm; in getUnifications()
131 Renaming norm; in insert()
138 Renaming norm; in remove()
146 Renaming norm; in getUnifications()

12345678910>>...129