INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

cluster: ve_api
class CMD_VEAPI_CLOSE_PROJECT
inherit

VEAPI_CLIENT_COMMAND
end
feature -- Queries

has_result: BOOLEAN

dummy: INTEGER
end -- class CMD_VEAPI_CLOSE_PROJECT

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES