Exemplos de CAESAR_STRING_LABEL em C++ (Cpp)

Exemplo n.º 1

Arquivo: mcrl_open.c Projeto: jkeiren/muCRL

CAESAR_TYPE_STRING CAESAR_GATE_LABEL(CAESAR_TYPE_LABEL l) {
    return strtok(CAESAR_STRING_LABEL(l),"(");
}

Exemplo n.º 2

Arquivo: mcrl_open.c Projeto: jkeiren/muCRL

CAESAR_TYPE_NATURAL CAESAR_CARDINAL_LABEL(CAESAR_TYPE_LABEL l) {
    return ATgetArity(ATgetSymbol(ATparse(CAESAR_STRING_LABEL(l))));
}

Exemplo n.º 3

Arquivo: pins-open.c Projeto: graydon/ltsmin

void CAESAR_PRINT_LABEL(CAESAR_TYPE_FILE f,CAESAR_TYPE_LABEL l) {
	fputs(CAESAR_STRING_LABEL(l), f);
 }