Copyright © 2013 Zuse Institute Berlin,
Version: $Id$
Authors: Jan Fajerski (fajerski@zib.de).
db() = any()
entry() =
{key(), term()} |
{key(), term(), term()} |
{key(), term(), term(), term()} |
{key(), term(), term(), term(), term()} |
{key(), term(), term(), term(), term(), term()} |
{key(), term(), term(), term(), term(), term(), term()} |
{key(),
term(),
term(),
term(),
term(),
term(),
term(),
term()} |
{key(),
term(),
term(),
term(),
term(),
term(),
term(),
term(),
term()} |
{key(),
term(),
term(),
term(),
term(),
term(),
term(),
term(),
term(),
term()} |
{key(),
term(),
term(),
term(),
term(),
term(),
term(),
term(),
term(),
term(),
term()}
interval() =
{key()} |
all |
{left_bracket(), key(), key(), right_bracket()}
key() = term()
'$end_of_table' is not allowed as key() or else iterations won't work with ets!
left_bracket() = '(' | '['
right_bracket() = ')' | ']'
| tester_create_db_key/1 | |
| tester_is_valid_db_key/1 |
tester_is_valid_db_key(X1 :: term()) -> boolean()
tester_create_db_key(K :: term()) -> key()
Generated by EDoc, Feb 29 2016, 16:12:20.