Home
last modified time | relevance | path

Searched refs:vstring (Results 1 – 25 of 1338) sorted by relevance

12345678910>>...54

/dports/math/vampire/vampire-4.5.1/Lib/
H A DOptionsReader.hpp40 : _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 DXML.hpp60 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 DStringUtils.cpp35 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 DStringUtils.hpp36 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 Dversion.hpp19 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 DSMTLIB2.hpp71 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 DTPTP.hpp277 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 DLaTeX.hpp62 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 DInterpolantMinimizer.hpp119 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 DLaTeX.cpp72 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 DCLTBModeLearning.hpp55 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 DCLTBMode.hpp76 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 DFormulaBuilder.hpp45 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 DHelper_Internal.hpp62 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 Dversion.py38 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 Dversion.py38 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 Dversion.py38 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 Dversion.py38 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 Dversion.py38 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 Dversion.py38 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 Dversion.py38 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 Dversion.py38 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 Dversion.py38 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 Dversion.py38 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 Dversion.py38 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 …]

12345678910>>...54