/dports/math/vampire/vampire-4.5.1/SAT/ |
H A D | DIMACS.cpp | 54 unsigned cnt, maxVar; in outputGroundedProblem() local 97 void DIMACS::getStats(SATClauseIterator clauses, unsigned& clauseCnt, unsigned& maxVar) in getStats() 118 unsigned cnt, maxVar; in outputProblem() local 140 SATClauseList* DIMACS::parse(const char* fname, unsigned& maxVar) in parse()
|
H A D | FallbackSolverWrapper.hpp | 66 virtual void randomizeForNextAssignment(unsigned maxVar) override { in randomizeForNextAssignment()
|
H A D | BufferedSolver.hpp | 56 virtual void randomizeForNextAssignment(unsigned maxVar) override { in randomizeForNextAssignment()
|
H A D | SAT2FO.cpp | 106 unsigned maxVar = maxSATVar(); in collectAssignment() local
|
H A D | MinimizingSolver.hpp | 57 virtual void randomizeForNextAssignment(unsigned maxVar) override { in randomizeForNextAssignment()
|
H A D | SATSolver.hpp | 149 virtual void randomizeForNextAssignment(unsigned maxVar) { in randomizeForNextAssignment()
|
/dports/math/clasp/clasp-3.3.5/src/ |
H A D | parser.cpp | 184 void SatReader::parseGraph(uint32 maxVar, const char* pre, ExtDepGraph& graph) { in parseGraph() 199 void SatReader::parseProject(uint32 maxVar, SharedContext& ctx) { in parseProject() 207 void SatReader::parseAssume(uint32 maxVar) { in parseAssume() 214 void SatReader::parseHeuristic(uint32 maxVar, SharedContext& ctx) { in parseHeuristic() 223 void SatReader::parseOutput(uint32 maxVar, SharedContext& ctx) { in parseOutput() 239 void SatReader::parseExt(const char* pre, uint32 maxVar, SharedContext& ctx) { in parseExt()
|
/dports/math/clingo/clingo-5.5.1/clasp/clasp-da10954/src/ |
H A D | parser.cpp | 184 void SatReader::parseGraph(uint32 maxVar, const char* pre, ExtDepGraph& graph) { in parseGraph() 199 void SatReader::parseProject(uint32 maxVar, SharedContext& ctx) { in parseProject() 207 void SatReader::parseAssume(uint32 maxVar) { in parseAssume() 214 void SatReader::parseHeuristic(uint32 maxVar, SharedContext& ctx) { in parseHeuristic() 223 void SatReader::parseOutput(uint32 maxVar, SharedContext& ctx) { in parseOutput() 239 void SatReader::parseExt(const char* pre, uint32 maxVar, SharedContext& ctx) { in parseExt()
|
/dports/math/clingo/clingo-5.5.1/clasp/src/ |
H A D | parser.cpp | 184 void SatReader::parseGraph(uint32 maxVar, const char* pre, ExtDepGraph& graph) { in parseGraph() 199 void SatReader::parseProject(uint32 maxVar, SharedContext& ctx) { in parseProject() 207 void SatReader::parseAssume(uint32 maxVar) { in parseAssume() 214 void SatReader::parseHeuristic(uint32 maxVar, SharedContext& ctx) { in parseHeuristic() 223 void SatReader::parseOutput(uint32 maxVar, SharedContext& ctx) { in parseOutput() 239 void SatReader::parseExt(const char* pre, uint32 maxVar, SharedContext& ctx) { in parseExt()
|
/dports/math/vampire/vampire-4.5.1/Shell/ |
H A D | TheoryFlattening.cpp | 125 unsigned maxVar = 0; in apply() local 191 Literal* TheoryFlattening::replaceTopTerms(Literal* lit, Stack<Literal*>& newLits,unsigned& maxVar, in replaceTopTerms() 267 unsigned& maxVar,bool interpreted, in replaceTopTermsInTerm()
|
/dports/math/cvc4/CVC4-1.7/src/proof/ |
H A D | dimacs_printer.cpp | 50 size_t maxVar = 0; in printDimacs() local
|
/dports/science/agrum/aGrUM-29e540d8169268e8fe5d5c69bc4b2b1290f12320/src/agrum/tools/multidim/implementations/ |
H A D | multiDimFunctionGraphGenerator.cpp | 41 Idx maxVar, in MultiDimFunctionGraphGenerator()
|
/dports/devel/pear-PHP_CodeSniffer/PHP_CodeSniffer-3.6.1/src/Standards/Squiz/Sniffs/Commenting/ |
H A D | FunctionCommentSniff.php | 681 protected function checkSpacingAfterParamName(File $phpcsFile, $param, $maxVar, $spacing=1)
|
/dports/math/frobby/frobby-0.9.1/src/ |
H A D | IdealTree.cpp | 74 size_t maxVar = 0; in makeTree() local
|
/dports/games/stendhal/stendhal-1.35/src/games/stendhal/common/color/ |
H A D | HSL.java | 34 int maxVar; in rgb2hsl() local
|
/dports/math/vampire/vampire-4.5.1/FMB/ |
H A D | ClauseFlattening.cpp | 141 unsigned maxVar = 0; in flatten() local
|
/dports/cad/sumo/sumo-1.2.0/src/activitygen/city/ |
H A D | AGDataAndStatistics.cpp | 162 AGDataAndStatistics::getInverseExpRandomValue(double mean, double maxVar) { in getInverseExpRandomValue()
|
/dports/math/py-cryptominisat/cryptominisat-5.8.0/src/ |
H A D | cnf.cpp | 50 uint32_t maxVar = nVarsOuter()-1; in new_var() local 110 const uint32_t maxVar = nVarsOuter()-i-1; in new_vars() local
|
/dports/math/cryptominisat/cryptominisat-5.8.0/src/ |
H A D | cnf.cpp | 50 uint32_t maxVar = nVarsOuter()-1; in new_var() local 110 const uint32_t maxVar = nVarsOuter()-i-1; in new_vars() local
|
/dports/java/openjdk11/jdk11u-jdk-11.0.13-8-1/src/jdk.rmic/share/classes/sun/tools/tree/ |
H A D | Vset.java | 499 int maxVar = VBITS * (1 + (x.length+1)/2); in toString() local
|
/dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/src/jdk.rmic/share/classes/sun/tools/tree/ |
H A D | Vset.java | 499 int maxVar = VBITS * (1 + (x.length+1)/2); in toString() local
|
/dports/java/openjdk8/jdk8u-jdk8u312-b07.1/jdk/src/share/classes/sun/tools/tree/ |
H A D | Vset.java | 499 int maxVar = VBITS * (1 + (x.length+1)/2); in toString() local
|
/dports/java/openjdk11-jre/jdk11u-jdk-11.0.13-8-1/src/jdk.rmic/share/classes/sun/tools/tree/ |
H A D | Vset.java | 499 int maxVar = VBITS * (1 + (x.length+1)/2); in toString() local
|
/dports/java/openjdk12/openjdk-jdk12u-jdk-12.0.2-10-4/src/jdk.rmic/share/classes/sun/tools/tree/ |
H A D | Vset.java | 499 int maxVar = VBITS * (1 + (x.length+1)/2); in toString() local
|
/dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/src/jdk.rmic/share/classes/sun/tools/tree/ |
H A D | Vset.java | 499 int maxVar = VBITS * (1 + (x.length+1)/2); in toString() local
|