Searched refs:withChecks (Results 1 – 9 of 9) sorted by relevance
| /dports/math/cvc4/CVC4-1.7/src/parser/ |
| H A D | parser_builder.cpp | 132 ParserBuilder& ParserBuilder::withChecks(bool flag) { in withChecks() function in CVC4::parser::ParserBuilder
173 .withChecks(options.getSemanticChecks()) in withOptions()
|
| H A D | parser_builder.h | 106 ParserBuilder& withChecks(bool flag = true);
|
| /dports/java/openjdk16/jdk16u-jdk-16.0.2-7-1/src/jdk.jlink/linux/classes/jdk/tools/jlink/internal/plugins/ |
| H A D | StripNativeDebugSymbolsPlugin.java | 157 public void doConfigure(boolean withChecks, Map<String, String> orig) { in doConfigure() argument
197 if (withChecks) { in doConfigure()
207 if (stripArg != null && withChecks) { in doConfigure()
|
| /dports/java/openjdk17/jdk17u-jdk-17.0.1-12-1/src/jdk.jlink/linux/classes/jdk/tools/jlink/internal/plugins/ |
| H A D | StripNativeDebugSymbolsPlugin.java | 157 public void doConfigure(boolean withChecks, Map<String, String> orig) { in doConfigure() argument
197 if (withChecks) { in doConfigure()
207 if (stripArg != null && withChecks) { in doConfigure()
|
| /dports/java/openjdk13/jdk13u-jdk-13.0.10-1-1/src/jdk.jlink/linux/classes/jdk/tools/jlink/internal/plugins/ |
| H A D | StripNativeDebugSymbolsPlugin.java | 174 public void doConfigure(boolean withChecks, Map<String, String> orig) { in doConfigure() argument
216 if (withChecks) { in doConfigure()
226 if (stripArg != null && withChecks) { in doConfigure()
|
| /dports/java/openjdk15/jdk15u-jdk-15.0.6-1-1/src/jdk.jlink/linux/classes/jdk/tools/jlink/internal/plugins/ |
| H A D | StripNativeDebugSymbolsPlugin.java | 175 public void doConfigure(boolean withChecks, Map<String, String> orig) { in doConfigure() argument
217 if (withChecks) { in doConfigure()
227 if (stripArg != null && withChecks) { in doConfigure()
|
| /dports/java/openjdk14/jdk14u-jdk-14.0.2-12-1/src/jdk.jlink/linux/classes/jdk/tools/jlink/internal/plugins/ |
| H A D | StripNativeDebugSymbolsPlugin.java | 174 public void doConfigure(boolean withChecks, Map<String, String> orig) { in doConfigure() argument
216 if (withChecks) { in doConfigure()
226 if (stripArg != null && withChecks) { in doConfigure()
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/swiftshader/tests/GLESUnitTests/ |
| H A D | unittests.cpp | 78 void Initialize(int version, bool withChecks) in Initialize() argument
84 if(withChecks) in Initialize()
97 if(withChecks) in Initialize()
129 if(withChecks) in Initialize()
170 if(withChecks) in Initialize()
|
| /dports/games/pear-Games_Chess/Games_Chess-1.0.1/ |
| H A D | Chess.php | 524 function getMoveList($withChecks = false) argument
526 if ($withChecks) {
|