예제 #1
0
파일: mcrl_open.c 프로젝트: jkeiren/muCRL 
CAESAR_TYPE_STRING CAESAR_GATE_LABEL(CAESAR_TYPE_LABEL l) {
    return strtok(CAESAR_STRING_LABEL(l),"(");
}
예제 #2
0
파일: mcrl_open.c 프로젝트: jkeiren/muCRL 
CAESAR_TYPE_NATURAL CAESAR_CARDINAL_LABEL(CAESAR_TYPE_LABEL l) {
    return ATgetArity(ATgetSymbol(ATparse(CAESAR_STRING_LABEL(l))));
}
예제 #3
0
파일: pins-open.c 프로젝트: graydon/ltsmin 
void CAESAR_PRINT_LABEL(CAESAR_TYPE_FILE f,CAESAR_TYPE_LABEL l) {
	fputs(CAESAR_STRING_LABEL(l), f);
 }