Not logged in.  Login/Logout/Register | List snippets | | Create snippet | Upload image | Upload data

36
LINES

< > BotCompany Repo | #1027187 // test_philosophyBot1_trails

JavaX fragment (include) [tags: use-pretranspiled]

Libraryless. Click here for Pure Java version (9065L/58K).

svoid test_philosophyBot1_trails() {
  test_philosophyBot1_trailsForLogicRules();
  test_philosophyBot1_trailsForFacts();
}

svoid test_philosophyBot1_trailsForFacts() {
  PhilosophyBot1 bot = new([[
    a => b
    
    a & b => c
    
    a
    
    expect c
  ]]);
  bot.printStackTraces = true;
  bot.enableTrails();
  bot.runAndCheckExpectations();
  for (WithTrail<S> fact : bot.deducedFactsWithTrails())
    assertNotNull("trail for " + fact, fact.trail);
}

svoid test_philosophyBot1_trailsForLogicRules() {
  PhilosophyBot1 bot = new([[
    a & b => c
    
    a
  ]]);
  bot.printStackTraces = true;
  bot.enableTrails();
  bot.think();
  for (PhilosophyBot1.LogicRule rule : bot.logicRules()) {
    print(rule + ", trail: " + rule.trail);
    assertNotNull("trail" , rule.trail);
  }
}

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: #1027187
Snippet name: test_philosophyBot1_trails
Eternal ID of this version: #1027187/13
Text MD5: 8f9f739302e5a06fdaa2652295a7dc66
Transpilation MD5: 2d204b8e764a6aff8fd7d3c2ded7e67b
Author: stefan
Category: javax / a.i.
Type: JavaX fragment (include)
Public (visible to everyone): Yes
Archived (hidden from active list): No
Created/modified: 2020-02-24 17:46:15
Source code size: 830 bytes / 36 lines
Pitched / IR pitched: No / No
Views / Downloads: 211 / 359
Version history: 12 change(s)
Referenced in: #1006654 - Standard functions list 2 (LIVE, continuation of #761)