Searched refs:RosWTableau (Results 1 – 1 of 1) sorted by relevance
22 typedef struct _RosWTableau *RosWTableau; typedef51 RosWTableau tableau;760 RosWTableau t = &link->tab; in TSRosWRegisterDestroy()833 RosWTableau t; in TSRosWRegister()1091 RosWTableau tab = ros->tableau; in TSEvaluateStep_RosW()1128 RosWTableau tab = ros->tableau; in TSStep_RosW()1293 RosWTableau tab = ros->tableau; in TSRosWTableauReset()1461 RosWTableau tab = ros->tableau; in TSRosWTableauSetUp()1551 RosWTableau tab = ros->tableau; in TSView_RosW()