view DPP/dpp_common.h @ 3:4e98faa1d831

add automaton
author Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
date Thu, 19 Apr 2012 13:41:11 +0900
parents a89b61162c29
children
line wrap: on
line source

#ifndef _DPP_COMMON_H_
#define _DPP_COMMON_H_
#define NULL (0)

typedef struct phils {
	int id;
	struct fork *right_fork;
	struct fork *left_fork;
	struct phils *right;
	struct phils *left;
	code (*next)(struct phils *, struct task *);
} Phils, *PhilsPtr;

typedef struct fork {
	int id;
	struct phils *owner;
} Fork, *ForkPtr;

#endif