Mercurial > hg > Members > nobuyasu > CbC

view DPP/ltl.h @ 33:3946f8d26710 draft default tip

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
add benchmarck/binary-trees
author Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
date Tue, 09 Apr 2013 16:41:30 +0900
parents a89b61162c29
children
line wrap: on
line source

#ifndef _LTL_H_
#define _LTL_H_

extern code
check(int *always_flag, struct phils *phils, struct task *list);

extern void
show_result(int always_flag);

#endif