Warning: session_start(): open(/var/lib/php/sessions/sess_hr4jnun8q87mh174gp4t5uj8s7, O_RDWR) failed: No space left on device (28) in /var/www/tb-usercake/models/config.php on line 51
Warning: session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in /var/www/tb-usercake/models/config.php on line 51
asclass ILCCompactIndex {
S its(int idx) { ret itemToString(idx); }
abstract S itemToString(int idx);
abstract int[] getLeftPairs(int symbol);
abstract int[] getRightPairs(int symbol);
abstract int getProdLength(int idx);
abstract int getOccurrences(int idx);
abstract int lookupLiteral(char c);
int pairLeft(int idx) { ret firstIntFromLong(getPair(idx)); }
int pairRight(int idx) { ret secondIntFromLong(getPair(idx)); }
abstract long getPair(int idx);
abstract int numberOfSymbols();
abstract S filePartToString(int iFile, int from, int to);
// to isn't used anymore
abstract IntegerIterator getRightPairsStartingWith(int symbol, S from, S to);
abstract IntegerIterator getLeftPairsEndingWith(int symbol, S from, S to);
abstract L symbolToFiles(int symbol); // values start at numberOfSymbols()
abstract S symbolToProtocol(int symbol, O... _);
abstract int getFile(int iFile); // iFile starts at 0
abstract int getFileLength(int iFile); // iFile starts at 0
abstract int nFiles();
abstract bool isPair(int symbol);
abstract CharacterIterator itemCharIteratorWithSkip(int symbol, int skip);
}