Home
last modified time | relevance | path

Searched defs:maxVar (Results 1 – 25 of 45) sorted by relevance

12

/dports/math/vampire/vampire-4.5.1/SAT/
H A DDIMACS.cpp54 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 DFallbackSolverWrapper.hpp66 virtual void randomizeForNextAssignment(unsigned maxVar) override { in randomizeForNextAssignment()
H A DBufferedSolver.hpp56 virtual void randomizeForNextAssignment(unsigned maxVar) override { in randomizeForNextAssignment()
H A DSAT2FO.cpp106 unsigned maxVar = maxSATVar(); in collectAssignment() local
H A DMinimizingSolver.hpp57 virtual void randomizeForNextAssignment(unsigned maxVar) override { in randomizeForNextAssignment()
H A DSATSolver.hpp149 virtual void randomizeForNextAssignment(unsigned maxVar) { in randomizeForNextAssignment()
/dports/math/clasp/clasp-3.3.5/src/
H A Dparser.cpp184 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 Dparser.cpp184 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 Dparser.cpp184 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 DTheoryFlattening.cpp125 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 Ddimacs_printer.cpp50 size_t maxVar = 0; in printDimacs() local
/dports/science/agrum/aGrUM-29e540d8169268e8fe5d5c69bc4b2b1290f12320/src/agrum/tools/multidim/implementations/
H A DmultiDimFunctionGraphGenerator.cpp41 Idx maxVar, in MultiDimFunctionGraphGenerator()
/dports/devel/pear-PHP_CodeSniffer/PHP_CodeSniffer-3.6.1/src/Standards/Squiz/Sniffs/Commenting/
H A DFunctionCommentSniff.php681 protected function checkSpacingAfterParamName(File $phpcsFile, $param, $maxVar, $spacing=1)
/dports/math/frobby/frobby-0.9.1/src/
H A DIdealTree.cpp74 size_t maxVar = 0; in makeTree() local
/dports/games/stendhal/stendhal-1.35/src/games/stendhal/common/color/
H A DHSL.java34 int maxVar; in rgb2hsl() local
/dports/math/vampire/vampire-4.5.1/FMB/
H A DClauseFlattening.cpp141 unsigned maxVar = 0; in flatten() local
/dports/cad/sumo/sumo-1.2.0/src/activitygen/city/
H A DAGDataAndStatistics.cpp162 AGDataAndStatistics::getInverseExpRandomValue(double mean, double maxVar) { in getInverseExpRandomValue()
/dports/math/py-cryptominisat/cryptominisat-5.8.0/src/
H A Dcnf.cpp50 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 Dcnf.cpp50 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 DVset.java499 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 DVset.java499 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 DVset.java499 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 DVset.java499 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 DVset.java499 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 DVset.java499 int maxVar = VBITS * (1 + (x.length+1)/2); in toString() local

12