ai_cache_hasTriple_verified [1011494]

< > BotCompany Repo | #1011494 // ai_cache_hasTriple_verified

JavaX fragment (include)

static bool ai_cache_hasTriple_verified(S a, S b, S c) {
   if (a == null || b == null || c == null) false;
  
  if (ai_useThoughtSpaces())
    ret thoughtSpace().hasTriple_verified(symbol(a), symbol(b), symbol(c));
  
  AI_CacheChecker checker = ai_cacheChecker();
  if (checker != null && checker.hasTriple(symbol(a), symbol(b), symbol(c))) true;

  L<Web> webs = ai_fewestIndexedWebs_verified(a, b, c);
  bool x = webs_search_noVar_bool(webFromTriple(a, b, c), webs);
  ret x;
}

static bool ai_cache_hasTriple_verified(T3<S> t) {
  ret ai_cache_hasTriple_verified(t.a, t.b, t.c);
}

Author comment

Began life as a copy of #1011336

Travelled to 13 computer(s): aoiabmzegqzx, bhatertpkbcr, cbybwowwnfue, cfunsshuasjs, gwrvuhgaqvyk, ishqpsrjomds, lpdgvwnxivlt, mqqgnosmbjvj, pyentgdyhuwx, pzhvpgtvlbxg, tslmcundralx, tvejysmllsmz, vouqrxazstgt

Snippet ID:

#1011494

Snippet name:

ai_cache_hasTriple_verified

Eternal ID of this version:

#1011494/4

Text MD5:

5c833405e23ac4525c1c75f919070a9f

Author:

stefan

Category:

javax / a.i.

Type:

JavaX fragment (include)

Public (visible to everyone):

Yes

Archived (hidden from active list):

Created/modified:

2017-12-18 00:15:41

Source code size:

601 bytes / 17 lines

Pitched / IR pitched:

No / No

Views / Downloads:

370 / 399

Version history:

3 change(s)

Referenced in:

[show references]

1	static bool ai_cache_hasTriple_verified(S a, S b, S c) {
2	if (a == null \|\| b == null \|\| c == null) false;
3
4	if (ai_useThoughtSpaces())
5	ret thoughtSpace().hasTriple_verified(symbol(a), symbol(b), symbol(c));
6
7	AI_CacheChecker checker = ai_cacheChecker();
8	if (checker != null && checker.hasTriple(symbol(a), symbol(b), symbol(c))) true;
9
10	L<Web> webs = ai_fewestIndexedWebs_verified(a, b, c);
11	bool x = webs_search_noVar_bool(webFromTriple(a, b, c), webs);
12	ret x;
13	}
14
15	static bool ai_cache_hasTriple_verified(T3<S> t) {
16	ret ai_cache_hasTriple_verified(t.a, t.b, t.c);
17	}