INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

cluster: ve_api
class CMD_VEAPI_CLOSE_CLUSTER
inherit

VEAPI_CLIENT_COMMAND
end
creation

make
feature -- Queries

has_result: BOOLEAN

Cluster: STRING
feature -- Creation

make (cl: STRING)
end -- class CMD_VEAPI_CLOSE_CLUSTER

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES