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 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<S> ai_invalidatedWebs() {
    ret main.ai_invalidatedWebs();
  }
  
  public MultiMap<S, WebNode> cachedNodeIndex2() {
    ret main.cachedNodeIndex2();
  }
  
  public Web ai_getWeb(S id) {
    ret main.ai_getWeb(id);
  }
}