view src/parallel_execution/Executor.h @ 540:0a723e418b2a

add some more directives in agda
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Thu, 04 Jan 2018 23:43:18 +0900
parents 6b71cf5b1c22
children 8fc069b19574
line wrap: on
line source

typedef struct Executor<Type, Impl>{
    Type* Executor;
    struct Context* task;
    __code read(Impl* executor, struct Context* task, __code next(...));
    __code exec(Impl* executor, struct Context* task, __code next(...));
    __code write(Impl* executor, struct Context* task, __code next(...));
}