/*?this?file?should?be?compiled?as?a?shared?library?statically?linked
???with?the?libbcg.a?of?CADP?*/


#include?“bcg_user.h“

/*?reading?bcg?*/

BCG_TYPE_object_TRANSITION?bcg_graph;

int?TINA_READ_BCG_OPEN?（char*?file）
{
??BCG_INIT?（）;
??BCG_OT_READ_BCG_SURVIVE?（BCG_TRUE）;
??BCG_OT_READ_BCG_BEGIN?（file?&bcg_graph?1）;
??
??if?（NULL==bcg_graph）?{return?1;}?else?{return?0;}
}

BCG_TYPE_NATURAL?TINA_READ_NB_STATES?（）
{
??return?BCG_OT_NB_STATES?（bcg_graph）;
}

BCG_TYPE_NATURAL?TINA_READ_NB_EDGES?（）
{
??return?BCG_OT_NB_EDGES?（bcg_graph）;
}

BCG_TYPE_NATURAL?TINA_READ_NB_LABELS?（）
{
??return?BCG_OT_NB_LABELS?（bcg_graph）;
}

char?*TINA_READ_TR_NAME?（bcg_label_number）
?????BCG_TYPE_LABEL_NUMBER?bcg_label_number;
{
??return?BCG_OT_LABEL_STRING?（bcg_graph?bcg_label_number）;
}

BCG_TYPE_NATURAL?TINA_READ_STATE_NB_SUCCS?（bcg_s1）
?????bcg_type_state_number?bcg_s1;
{
??BCG_TYPE_LABEL_NUMBER?bcg_label_number;
??bcg_type_state_number?bcg_s2;
??int?count=0;

??BCG_OT_ITERATE_P_LN?（bcg_graph?bcg_s1?bcg_label_number?bcg_s2）?{
????count++;
??}
??BCG_OT_END_ITERATE;
??return?count;
}

int?TINA_READ_STATE_SUCCS?（countbcg_s1sbuffertbuffer）
?????int?count;
?????bcg_type_state_number?sbuffer[];
?????BCG_TYPE_LABEL_NUMBER?tbuffer[];
?????bcg_type_state_number?bcg_s1;
{
??BCG_TYPE_LABEL_NUMBER?bcg_label_number;
??bcg_type_state_number?bcg_s2;
??int?i=0;

??BCG_OT_ITERATE_P_LN?（bcg_graph?bcg_s1?bcg_label_number?bcg_s2）?{
????sbuffer[i]=bcg_s2;
????tbuffer[i]=bcg_label_number;
????i++;
??}
??BCG_OT_END_ITERATE;
??return?0;
}
????
int?TINA_READ_BCG_CLOSE?（）
{
??BCG_OT_READ_BCG_END?（&bcg_graph）;
??return?0;
}



/*?writing?bcg?*/

int?TINA_WRITE_BCG_OPEN?（char*?file?int?initial?int?format?char*?creator?int?monitor）
{
??int?res;
??BCG_INIT?（）;
??BCG_IO_WRITE_BCG_SURVIVE?（BCG_TRUE）;??/*?don‘t?exit?if?file?can‘t?be?opened?*/
??BCG_IO_WRITE_BCG_PARSING?（0）;?????????/*?don‘t?parse?labels?*/
??res?=?BCG_IO_WRITE_BCG_BEGIN?（file?initial?format?creator?monitor）;
??return?res;
}

int?TINA_WRITE_BCG_EDGE?（int?from?char*?label?int?to）
{
??BCG_IO_WRITE_BCG_EDGE?（from?label?to）;
??return?0;
}

int?TINA_WRITE_BCG_CLOSE?（int?dummy）
{
??BCG_IO_WRITE_BCG_END?（）;
??return?0;
}

?屬性????????????大小?????日期????時間???名稱
-----------?---------??----------?-----??----
?????目錄???????????0??2014-12-16?10:05??tina-3.3.0\
?????目錄???????????0??2014-12-16?10:05??tina-3.3.0\bin\
?????文件?????1363584??2014-12-16?10:05??tina-3.3.0\bin\nd.exe
?????目錄???????????0??2014-12-16?10:05??tina-3.3.0\bin\plugins\
?????文件????????1064??2014-12-16?10:05??tina-3.3.0\bin\plugins\ndmount
?????文件?????????503??2014-12-16?10:05??tina-3.3.0\bin\plugins\plughelp.tcl
?????文件???????18944??2014-12-16?10:05??tina-3.3.0\bin\plughelp.exe
?????文件?????4601856??2014-12-16?10:05??tina-3.3.0\bin\tina.exe
?????文件??????902656??2014-12-16?10:05??tina-3.3.0\bin\ktzio.exe
?????文件?????1037824??2014-12-16?10:05??tina-3.3.0\bin\ndrio.exe
?????文件?????1155584??2014-12-16?10:05??tina-3.3.0\bin\plan.exe
?????文件??????909312??2014-12-16?10:05??tina-3.3.0\bin\struct.exe
?????文件??????785408??2014-12-16?10:05??tina-3.3.0\bin\selt.exe
?????文件?????1106432??2014-12-16?10:05??tina-3.3.0\bin\muse.exe
?????文件??????465408??2014-12-16?10:05??tina-3.3.0\bin\pathto.exe
?????文件???????59904??2014-12-16?10:05??tina-3.3.0\bin\ltl2ba.exe
?????文件?????6352896??2014-12-16?10:05??tina-3.3.0\bin\sift.exe
?????文件?????1802240??2014-12-16?10:05??tina-3.3.0\bin\play.exe
?????文件???????16554??2014-12-16?10:05??tina-3.3.0\bin\libdl.dll
?????文件??????159232??2014-12-16?10:05??tina-3.3.0\bin\libpolkag.dll
?????文件???????85504??2014-12-16?10:05??tina-3.3.0\bin\libpolkai.dll
?????文件???????93696??2014-12-16?10:05??tina-3.3.0\bin\libpolkal.dll
?????文件???????11264??2014-12-16?10:05??tina-3.3.0\bin\kill.exe
?????文件???????33280??2014-12-16?10:05??tina-3.3.0\bin\graphplace.exe
?????文件??????753152??2014-12-16?10:05??tina-3.3.0\bin\dot.exe
?????文件??????753152??2014-12-16?10:05??tina-3.3.0\bin\neato.exe
?????文件??????753152??2014-12-16?10:05??tina-3.3.0\bin\circo.exe
?????目錄???????????0??2014-12-16?10:05??tina-3.3.0\doc\
?????目錄???????????0??2014-12-16?10:05??tina-3.3.0\doc\txt\
?????文件???????21860??2014-12-16?10:05??tina-3.3.0\doc\txt\formats.txt
?????文件????????6443??2014-12-16?10:05??tina-3.3.0\doc\txt\ktzio.txt
............此處省略139個文件信息