static AI_DefaultISpec ai_defaultISpec_value;

static AI_DefaultISpec ai_defaultISpec() {
  if (ai_defaultISpec_value == null)
    ai_defaultISpec_value = new AI_DefaultISpec;
  ret ai_defaultISpec_value;
}

sclass AI_DefaultISpec implements ISpec {
  public Lock aiLock() { ret main.aiLock(); }
  
  public bool ai_cache_hasTriple(S a, S b, S c) {
    ret main.ai_cache_hasTriple(a, b, c);
  }
  
  public S ai_postTriple(S a, S b, S c) {
    ret main.ai_postTriple(a, b, c);
  }
  
  public S ai_setMaker(S maker) {
    ret main.ai_setMaker(maker);
  }
  
  public L<S> allIndexedFullTerms() {
    ret main.allIndexedFullTerms();
  }
  
  public L<S> ai_texts_verified(S a, S b, S c) {
    ret main.ai_texts_verified(a, b, c);
  }
  
  public S ai_text(S a, S b, S c) {
    ret main.ai_text(a, b, c);
  }
  
  public Web ai_blob(S word, bool verified) {
    ret main.ai_blob(word, verified);
  }
  
  public L<WebNode> ai_index_search_dollarX(S a, S b, S c) {
    ret main.ai_index_search_dollarX(a, b, c);
  }
  
  public L<WebNode> indexedNodes(S s) {
    ret main.indexedNodes(s);
  }
  
  public L<Web> indexedWebs(S s) {
    ret main.indexedWebs(s);
  }
  
  public Set<GlobalID> ai_invalidatedWebs() {
    ret main.ai_invalidatedWebs();
  }
  
  public void ai_invalidatedWebs_cache_put(GlobalID a, GlobalID b) {
    main.ai_invalidatedWebs_cache_put(a, b);
  }
  
  public MultiMap<S, WebNode> cachedNodeIndex2() {
    ret main.cachedNodeIndex2();
  }
  
  public Web ai_getWeb(S id) {
    ret main.ai_getWeb(id);
  }
  
  public void ai_setSubSpace(AI_SubSpace subSpace) {
    main.ai_setSubSpace(subSpace);
  }

  public AI_SubSpace ai_currentSubSpace() {
    ret main.ai_currentSubSpace();
  }
  
  public Set<S> ai_mainIndexKeys() {
    ret main.ai_mainIndexKeys();
  }
  
  public TripleIndex tripleIndex() {
    ret main.tripleIndex();
  }
  
  public void ai_removeWeb(Web web) {
    main.ai_removeWeb(web);
  }
  
  public L<VirtualNodeIndex> virtualNodeIndices() {
    ret main.virtualNodeIndices();
  }
  
  public bool ai_enabled() {
    ret main.ai_enabled();
  }
  
  public bool ai_useThoughtSpaces() {
    ret main.ai_useThoughtSpaces();
  }
  
  public bool ai_inTripleMode() {
    ret main.ai_inTripleMode();
  }
  
  public AbstractThoughtSpace currentThoughtSpace() {
    ret main.currentThoughtSpace();
  }

  public <A extends AbstractThoughtSpace> A thoughtSpace(A ts) {
    ret main.thoughtSpace(ts);
  }
  
  public void ai_markMemoryDirty() {
    main.ai_markMemoryDirty();
  }
  
  public bool ai_isMemoryDirty() {
    ret main.ai_isMemoryDirty();
  }
}