/dports/lang/maude/maude-2.7.1/src/Mixfix/ |
H A D | renaming.hh | 34 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 D | renaming.cc | 67 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 D | importModule.hh | 136 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 D | importTranslation.hh | 37 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 D | parameterization.cc | 32 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 D | Renaming.cpp | 44 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 D | Renaming.hpp | 42 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 D | rename_variation5.phpt | 26 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 D | rename_variation3-win32.phpt | 28 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 D | rename_variation5.phpt | 26 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 D | rename_variation3-win32.phpt | 32 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 D | rename_variation5.phpt | 26 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 D | rename_variation3-win32.phpt | 28 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 D | rename_variation5.phpt | 26 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 D | rename_variation3-win32.phpt | 32 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 D | rename_variation5.phpt | 26 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 D | rename_variation3-win32.phpt | 28 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 D | rename_variation5.phpt | 26 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 D | rename_variation3-win32.phpt | 32 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 D | rename_variation5.phpt | 26 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 D | rename_variation3-win32.phpt | 32 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 D | rename_variation5.phpt | 26 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 D | rename_variation3-win32.phpt | 28 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 D | CompitOutput.hpp | 84 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 D | Compit2Output.hpp | 87 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()
|