Libraryless. Click here for Pure Java version (15255L/107K).
| 1 | // returns number of expectations checked | 
| 2 | // fails on error | 
| 3 | static int ai_checkMusing(S musing) {
 | 
| 4 | PhilosophyBot1 bot = new(musing); | 
| 5 | bot.printNonMatches = true; | 
| 6 | bot.smartParser1_verbose = true; | 
| 7 | bot.debugContradictionChecks = true; | 
| 8 | pb_allStandardFeatures(bot); | 
| 9 | bot.autoOpenTheories(); | 
| 10 | bot.run(); | 
| 11 | ret bot.checkExpectations(); | 
| 12 | } | 
download show line numbers debug dex old transpilations
Travelled to 7 computer(s): bhatertpkbcr, mqqgnosmbjvj, pyentgdyhuwx, pzhvpgtvlbxg, tvejysmllsmz, vouqrxazstgt, xrpafgyirdlv
No comments. add comment
| Snippet ID: | #1025730 | 
| Snippet name: | ai_checkMusing | 
| Eternal ID of this version: | #1025730/11 | 
| Text MD5: | ab2b3e1f0cd77ace56bc5d0ed8767239 | 
| Transpilation MD5: | 07c9e5b5b23e679dceddd56ab411a15c | 
| Author: | stefan | 
| Category: | javax / a.i. | 
| Type: | JavaX fragment (include) | 
| Public (visible to everyone): | Yes | 
| Archived (hidden from active list): | No | 
| Created/modified: | 2020-03-20 16:24:08 | 
| Source code size: | 351 bytes / 12 lines | 
| Pitched / IR pitched: | No / No | 
| Views / Downloads: | 451 / 616 | 
| Version history: | 10 change(s) | 
| Referenced in: | [show references] |