/dports/math/vampire/vampire-4.5.1/Lib/ |
H A D | OptionsReader.hpp | 40 : _vals(new DHMap<vstring,int>()), _names(new DHMap<int,vstring>()) in EnumReaderBase() 61 vstring res; in toString() 100 void registerStringOption(vstring* tgt, vstring name, vstring shortName=vstring()) { in registerStringOption() 108 void registerIntOption(int* tgt, vstring name, vstring shortName=vstring()) { in registerIntOption() 116 void registerUnsignedOption(unsigned* tgt, vstring name, vstring shortName=vstring()) { in registerUnsignedOption() 124 void registerFloatOption(float* tgt,vstring name, vstring shortName=vstring()) { in registerFloatOption() 132 void registerBoolOption(bool* tgt,vstring name, vstring shortName=vstring()) { in registerBoolOption() 141 …d registerEnumOption(Enum* tgt, EnumReaderBase enumVals, vstring name, vstring shortName=vstring()… in registerEnumOption() 152 bool readOption(vstring name, vstring value) const; 156 vstring getOptionStringValue(vstring optName); [all …]
|
H A D | XML.hpp | 60 XMLAttribute(const vstring& name,const vstring& value); 61 XMLAttribute(const vstring& name,int value); 62 XMLAttribute(const vstring& name,long value); 63 XMLAttribute(const vstring& name,double value); 71 const vstring& name() const; 125 XMLElement(const vstring& name,const vstring& text); // text element 134 void addAttribute(const vstring& name,const vstring& value); 140 const vstring& name() const; 141 const vstring* findStringValue(const vstring& name) const; 144 void append(const vstring& file); [all …]
|
H A D | StringUtils.cpp | 35 vstring StringUtils::replaceChar(vstring str, char src, char target) in replaceChar() 56 return vstring(buf.array(), len); in replaceChar() 64 vstring StringUtils::sanitizeSuffix(vstring str) in sanitizeSuffix() 96 return vstring(buf.array(), len); in sanitizeSuffix() 164 bool StringUtils::readEquality(const char* str, char eqChar, vstring& lhs, vstring& rhs) in readEquality() 168 static Stack<vstring> parts; in readEquality() 182 …gUtils::readEqualities(const char* str, char delimiter, char eqChar, DHMap<vstring,vstring>& pairs) in readEqualities() argument 186 static Stack<vstring> parts; in readEqualities() 190 Stack<vstring>::TopFirstIterator pit(parts); in readEqualities() 192 vstring part = pit.next(); in readEqualities() [all …]
|
H A D | StringUtils.hpp | 36 static vstring replaceChar(vstring str, char src, char target); 37 static vstring sanitizeSuffix(vstring str); 38 static bool isPositiveInteger(vstring str); 39 static bool isPositiveDecimal(vstring str); 41 static void splitStr(const char* str, char delimiter, Stack<vstring>& strings); 42 static bool readEquality(const char* str, char eqChar, vstring& lhs, vstring& rhs); 43 …static bool readEqualities(const char* str, char delimiter, char eqChar, DHMap<vstring,vstring>& p…
|
/dports/cad/netgen/netgen-6.2.2105/libsrc/core/ |
H A D | version.hpp | 19 VersionInfo(std::string vstring) in VersionInfo() argument 24 vstring = vstring.substr(1,vstring.size()-1); in VersionInfo() 25 auto dot = vstring.find('.'); in VersionInfo() 28 else vstring = vstring.substr(dot+1, vstring.size()-dot-1); in VersionInfo() 29 if(!vstring.empty()) in VersionInfo() 31 dot = vstring.find('.'); in VersionInfo() 34 else vstring = vstring.substr(dot+1, vstring.size()-dot-1); in VersionInfo() 35 if(!vstring.empty()) in VersionInfo() 40 else vstring = vstring.substr(dot+1,vstring.size()-dot-1); in VersionInfo() 46 else vstring = vstring.substr(dot+1, vstring.size()-dot-1); in VersionInfo() [all …]
|
/dports/math/vampire/vampire-4.5.1/Parse/ |
H A D | SMTLIB2.hpp | 71 const vstring& getStatus() const { in getStatus() 105 void readLogic(const vstring& logicStr); 108 vstring _statusStr; 110 vstring _sourceInfo; 140 DHMap<vstring,unsigned> _declaredSorts; 145 void readDeclareSort(const vstring& name, const vstring& arity); 317 vstring toString(); 336 typedef DHMap<vstring,SortedTerm> TermLookup; 384 bool parseAsScopeLookup(const vstring& id); 386 bool parseAsSpecConstant(const vstring& id); [all …]
|
H A D | TPTP.hpp | 277 vstring content; 278 vstring toString() const; 294 vstring _message; 518 vstring _includeDirectory; 548 Stack<vstring> _strings; 581 Set<vstring> _overflow; 716 vstring name(); 792 const vstring fileName; 793 const vstring nameInFile; 795 FileSourceRecord(vstring fN, vstring nF) : fileName(fN), nameInFile(nF) {} in FileSourceRecord() [all …]
|
/dports/math/vampire/vampire-4.5.1/Shell/ |
H A D | LaTeX.hpp | 62 vstring header(); 63 vstring footer(); 64 vstring refutationToString(Unit* ref); 68 vstring toString(const Term&) const; 69 vstring toString(const vstring& funOrPred,const TermList& args) const; 70 vstring toString(Unit*); 78 vstring toString(Literal*) const; 79 vstring toString(Clause*); 80 vstring toString(Formula*) const; 83 vstring getClauseLatexId(Unit* cs); [all …]
|
H A D | InterpolantMinimizer.hpp | 119 Stack<vstring> rParents; 120 Stack<vstring> bParents; 121 Stack<vstring> gParents; 148 SMTConstant pred(PredType t, vstring node); 151 void addDistinctColorsFormula(vstring n); 167 vstring getComponentId(Clause* cl); 172 DHMap<Clause*, vstring> _atomIds; 173 DHMap<vstring, vstring> _formulaAtomIds; 178 DHMap<vstring,Unit*> _unitsById; 186 vstring getUnitId(Unit* u); [all …]
|
H A D | LaTeX.cpp | 72 vstring LaTeX::header() in header() 107 vstring LaTeX::footer() in footer() 185 vstring LaTeX::toString(Unit* u) in toString() 209 static vstring names [] = in toString() 214 vstring con = names[(int)c]; in toString() 247 vstring result("("); in toString() 291 vstring LaTeX::toString (Clause* c) in toString() 295 vstring result; in toString() 342 vstring res; in toString() 564 vstring res("[$"); in toStringAsInference() [all …]
|
/dports/math/vampire/vampire-4.5.1/CASC/ |
H A D | CLTBModeLearning.hpp | 55 Set<vstring> suc; 56 Set<vstring> fail; 79 typedef pair<vstring,vstring> StringPair; 84 vstring _trainingDirectory; 106 static DHMap<vstring,Stack<vstring>*> stratWins; 108 Stack<vstring> problems; 109 Stack<vstring> new_problems; 119 CLTBProblemLearning(CLTBModeLearning* parent, vstring problemFile, vstring outFile); 127 unsigned getSliceTime(vstring sliceCode,vstring& chopped); 145 vstring problemFile; [all …]
|
H A D | CLTBMode.hpp | 76 typedef List<vstring> StringList; 77 typedef Stack<vstring> StringStack; 78 typedef pair<vstring,vstring> StringPair; 96 vstring _trainingDirectory; 117 DHSet<vstring> _learnedFormulas; 129 CLTBProblem(CLTBMode* parent, vstring problemFile, vstring outFile); 132 typedef Set<vstring> StrategySet; 135 unsigned getSliceTime(vstring sliceCode,vstring& chopped); 148 static vstring problemFinishedString; 155 vstring problemFile; [all …]
|
/dports/math/vampire/vampire-4.5.1/Api/ |
H A D | FormulaBuilder.hpp | 45 ApiException(Lib::vstring msg) in ApiException() 51 Lib::vstring _msg; 87 InvalidTPTPNameException(Lib::vstring msg, Lib::vstring name) in InvalidTPTPNameException() 93 Lib::vstring _name; 267 void addAttribute(Predicate p, Lib::vstring name, Lib::vstring value); 271 Lib::vstring getAttributeValue(Predicate p, Lib::vstring attributeName); 273 void addAttribute(Function fn, Lib::vstring name, Lib::vstring value); 277 Lib::vstring getAttributeValue(Function fn, Lib::vstring attributeName); 279 void addAttribute(Sort s, Lib::vstring name, Lib::vstring value); 283 Lib::vstring getAttributeValue(Sort s, Lib::vstring attributeName); [all …]
|
H A D | Helper_Internal.hpp | 62 virtual vstring getVarName(Var v) const; 63 vstring toString(Kernel::TermList t) const; 64 vstring toString(const Kernel::Term* t0) const; 65 vstring toString(const Kernel::Formula* f) const; 125 virtual vstring getVarName(Var v) const; 127 Var getVar(vstring varName, Sort varSort); 152 typedef pair<vstring,vstring> AttribPair; 179 static void addAttribute(AttribStack& stack, vstring name, vstring value); 190 virtual vstring getVarName(unsigned var); 196 Map<vstring,Var> vars; [all …]
|
/dports/lang/python27/Python-2.7.18/Lib/distutils/ |
H A D | version.py | 38 def __init__ (self, vstring=None): argument 39 if vstring: 40 self.parse(vstring) 104 def parse (self, vstring): argument 131 vstring = vstring + self.prerelease[0] + str(self.prerelease[1]) 133 return vstring 264 if vstring: 265 self.parse(vstring) 268 def parse (self, vstring): argument 272 self.vstring = vstring [all …]
|
/dports/java/eclipse-pydev/eclipse-pydev-8.2.0/plugins/org.python.pydev.jython_8.2.0.202102211157/Lib/distutils/ |
H A D | version.py | 38 def __init__ (self, vstring=None): argument 39 if vstring: 40 self.parse(vstring) 104 def parse (self, vstring): argument 131 vstring = vstring + self.prerelease[0] + str(self.prerelease[1]) 133 return vstring 264 if vstring: 265 self.parse(vstring) 268 def parse (self, vstring): argument 272 self.vstring = vstring [all …]
|
/dports/sysutils/uefi-edk2-bhyve-csm/uefi-edk2-aa8d718/AppPkg/Applications/Python/Python-2.7.2/Lib/distutils/ |
H A D | version.py | 38 def __init__ (self, vstring=None): argument 39 if vstring: 40 self.parse(vstring) 104 def parse (self, vstring): argument 131 vstring = vstring + self.prerelease[0] + str(self.prerelease[1]) 133 return vstring 264 if vstring: 265 self.parse(vstring) 268 def parse (self, vstring): argument 272 self.vstring = vstring [all …]
|
/dports/lang/python-legacy/Python-2.7.18/Lib/distutils/ |
H A D | version.py | 38 def __init__ (self, vstring=None): argument 39 if vstring: 40 self.parse(vstring) 104 def parse (self, vstring): argument 131 vstring = vstring + self.prerelease[0] + str(self.prerelease[1]) 133 return vstring 264 if vstring: 265 self.parse(vstring) 268 def parse (self, vstring): argument 272 self.vstring = vstring [all …]
|
/dports/databases/py-gdbm/Python-3.8.12/Lib/distutils/ |
H A D | version.py | 38 def __init__ (self, vstring=None): argument 39 if vstring: 40 self.parse(vstring) 134 def parse (self, vstring): argument 161 vstring = vstring + self.prerelease[0] + str(self.prerelease[1]) 163 return vstring 303 if vstring: 304 self.parse(vstring) 307 def parse (self, vstring): argument 311 self.vstring = vstring [all …]
|
/dports/databases/py-sqlite3/Python-3.8.12/Lib/distutils/ |
H A D | version.py | 38 def __init__ (self, vstring=None): argument 39 if vstring: 40 self.parse(vstring) 134 def parse (self, vstring): argument 161 vstring = vstring + self.prerelease[0] + str(self.prerelease[1]) 163 return vstring 303 if vstring: 304 self.parse(vstring) 307 def parse (self, vstring): argument 311 self.vstring = vstring [all …]
|
/dports/lang/python37/Python-3.7.12/Lib/distutils/ |
H A D | version.py | 38 def __init__ (self, vstring=None): argument 39 if vstring: 40 self.parse(vstring) 134 def parse (self, vstring): argument 161 vstring = vstring + self.prerelease[0] + str(self.prerelease[1]) 163 return vstring 303 if vstring: 304 self.parse(vstring) 307 def parse (self, vstring): argument 311 self.vstring = vstring [all …]
|
/dports/lang/python-tools/Python-3.8.12/Lib/distutils/ |
H A D | version.py | 38 def __init__ (self, vstring=None): argument 39 if vstring: 40 self.parse(vstring) 134 def parse (self, vstring): argument 161 vstring = vstring + self.prerelease[0] + str(self.prerelease[1]) 163 return vstring 303 if vstring: 304 self.parse(vstring) 307 def parse (self, vstring): argument 311 self.vstring = vstring [all …]
|
/dports/lang/python38/Python-3.8.12/Lib/distutils/ |
H A D | version.py | 38 def __init__ (self, vstring=None): argument 39 if vstring: 40 self.parse(vstring) 134 def parse (self, vstring): argument 161 vstring = vstring + self.prerelease[0] + str(self.prerelease[1]) 163 return vstring 303 if vstring: 304 self.parse(vstring) 307 def parse (self, vstring): argument 311 self.vstring = vstring [all …]
|
/dports/x11-toolkits/py-tkinter/Python-3.8.12/Lib/distutils/ |
H A D | version.py | 38 def __init__ (self, vstring=None): argument 39 if vstring: 40 self.parse(vstring) 134 def parse (self, vstring): argument 161 vstring = vstring + self.prerelease[0] + str(self.prerelease[1]) 163 return vstring 303 if vstring: 304 self.parse(vstring) 307 def parse (self, vstring): argument 311 self.vstring = vstring [all …]
|
/dports/finance/electrum/Electrum-4.1.5/packages/setuptools/_distutils/ |
H A D | version.py | 38 def __init__ (self, vstring=None): argument 39 if vstring: 40 self.parse(vstring) 134 def parse (self, vstring): argument 161 vstring = vstring + self.prerelease[0] + str(self.prerelease[1]) 163 return vstring 305 if vstring: 306 self.parse(vstring) 309 def parse (self, vstring): argument 313 self.vstring = vstring [all …]
|