Exemple #1
0
CAESAR_TYPE_STRING CAESAR_GATE_LABEL(CAESAR_TYPE_LABEL l) {
    return strtok(CAESAR_STRING_LABEL(l),"(");
}
Exemple #2
0
CAESAR_TYPE_NATURAL CAESAR_CARDINAL_LABEL(CAESAR_TYPE_LABEL l) {
    return ATgetArity(ATgetSymbol(ATparse(CAESAR_STRING_LABEL(l))));
}
Exemple #3
0
void CAESAR_PRINT_LABEL(CAESAR_TYPE_FILE f,CAESAR_TYPE_LABEL l) {
	fputs(CAESAR_STRING_LABEL(l), f);
 }