Ejemplos de register_prod en C++ (Cpp)

Lenguaje de programación: C++ (Cpp)

Método / Función: register_prod

Ejemplos en hotexamples.com: 2

C++ (Cpp) register_prod - 2 ejemplos encontrados. Estos son los ejemplos en C++ (Cpp) del mundo real mejor valorados de register_prod extraídos de proyectos de código abierto. Puedes valorar ejemplos para ayudarnos a mejorar la calidad de los ejemplos.

Ejemplo n.º 1

Mostrar archivo

void register_SetAndElem ( ) {
lf_8_recursivesym = ATmakeSymbol ( "prod([lit(\"set\"),cf(opt(layout)),lit(\"(\"),cf(opt(layout)),cf(iter-star-sep(sort(\"ID\"),lit(\";\"))),cf(opt(layout)),lit(\")\")],cf(iter-star-sep(sort(\"ID\"),lit(\";\"))),attrs([term(\"cons\"(\"sepset\"))]))"
 , 1 , ATtrue ) ;
ATprotectSymbol ( lf_8_recursivesym ) ;
lf_5_recursivesym = ATmakeSymbol ( "prod([lit(\"set\"),cf(opt(layout)),lit(\"(\"),cf(opt(layout)),cf(iter-star(sort(\"ID\"))),cf(opt(layout)),lit(\")\")],cf(iter-star(sort(\"ID\"))),attrs([term(\"cons\"(\"set\"))]))" , 1 , ATtrue ) ;
ATprotectSymbol ( lf_5_recursivesym ) ;
lf_list_1sym = ATmakeSymbol ( "list(cf(iter-star(sort(\"ID\"))))" , 1 , ATtrue ) ;
ATprotectSymbol ( lf_list_1sym ) ;
lf_2sym = ATmakeSymbol ( "prod([lit(\"elem\"),cf(opt(layout)),lit(\"(\"),cf(opt(layout)),cf(sort(\"ID\")),cf(opt(layout)),lit(\",\"),cf(opt(layout)),cf(iter-star(sort(\"ID\"))),cf(opt(layout)),lit(\")\")],cf(sort(\"BOOL\")),attrs([term(\"cons\"(\"elem\"))]))" , 2 , ATtrue ) ;
ATprotectSymbol ( lf_2sym ) ;
lf_3sym = ATmakeSymbol ( "prod([lit(\"true\")],cf(sort(\"BOOL\")),no-attrs)" , 0 , ATtrue ) ;
ATprotectSymbol ( lf_3sym ) ;
lf_4sym = ATmakeSymbol ( "prod([lit(\"false\")],cf(sort(\"BOOL\")),no-attrs)" , 0 , ATtrue ) ;
ATprotectSymbol ( lf_4sym ) ;
lf_5sym = ATmakeSymbol ( "prod([lit(\"set\"),cf(opt(layout)),lit(\"(\"),cf(opt(layout)),cf(iter-star(sort(\"ID\"))),cf(opt(layout)),lit(\")\")],cf(iter-star(sort(\"ID\"))),attrs([term(\"cons\"(\"set\"))]))" , 1 , ATtrue ) ;
ATprotectSymbol ( lf_5sym ) ;
lf_list_6sym = ATmakeSymbol ( "list(cf(iter-star-sep(sort(\"ID\"),lit(\";\"))))" , 1 , ATtrue ) ;
ATprotectSymbol ( lf_list_6sym ) ;
lf_7sym = ATmakeSymbol ( "prod([lit(\"elem\"),cf(opt(layout)),lit(\"(\"),cf(opt(layout)),cf(sort(\"ID\")),cf(opt(layout)),lit(\",\"),cf(opt(layout)),cf(iter-star-sep(sort(\"ID\"),lit(\";\"))),cf(opt(layout)),lit(\")\")],cf(sort(\"BOOL\")),attrs([term(\"cons\"(\"sepelem\"))]))" , 2 , ATtrue ) ;
ATprotectSymbol ( lf_7sym ) ;
lf_8sym = ATmakeSymbol ( "prod([lit(\"set\"),cf(opt(layout)),lit(\"(\"),cf(opt(layout)),cf(iter-star-sep(sort(\"ID\"),lit(\";\"))),cf(opt(layout)),lit(\")\")],cf(iter-star-sep(sort(\"ID\"),lit(\";\"))),attrs([term(\"cons\"(\"sepset\"))]))" , 1 , ATtrue ) ;
ATprotectSymbol ( lf_8sym ) ;
register_prod ( ATparse ( "list(cf(iter-star(sort(\"ID\"))))" ) , lf_list_1 , lf_list_1sym ) ;
register_prod ( ATparse ( "prod([lit(\"elem\"),cf(opt(layout)),lit(\"(\"),cf(opt(layout)),cf(sort(\"ID\")),cf(opt(layout)),lit(\",\"),cf(opt(layout)),cf(iter-star(sort(\"ID\"))),cf(opt(layout)),lit(\")\")],cf(sort(\"BOOL\")),attrs([term(\"cons\"(\"elem\"))]))" ) , lf_2 , lf_2sym ) ;
register_prod ( ATparse ( "prod([lit(\"true\")],cf(sort(\"BOOL\")),no-attrs)" ) , lf_3 , lf_3sym ) ;
register_prod ( ATparse ( "prod([lit(\"false\")],cf(sort(\"BOOL\")),no-attrs)" ) , lf_4 , lf_4sym ) ;
register_prod ( ATparse ( "prod([lit(\"set\"),cf(opt(layout)),lit(\"(\"),cf(opt(layout)),cf(iter-star(sort(\"ID\"))),cf(opt(layout)),lit(\")\")],cf(iter-star(sort(\"ID\"))),attrs([term(\"cons\"(\"set\"))]))" ) , lf_5 , lf_5sym ) ;
register_prod ( ATparse ( "prod([lit(\"set\"),cf(opt(layout)),lit(\"(\"),cf(opt(layout)),cf(iter-star(sort(\"ID\"))),cf(opt(layout)),lit(\")\")],cf(iter-star(sort(\"ID\"))),attrs([term(\"cons\"(\"set\"))]))" ) , lf_5_recursive , lf_5_recursivesym ) ;
register_prod ( ATparse ( "list(cf(iter-star-sep(sort(\"ID\"),lit(\";\"))))" ) , lf_list_6 , lf_list_6sym ) ;
register_prod ( ATparse ( "prod([lit(\"elem\"),cf(opt(layout)),lit(\"(\"),cf(opt(layout)),cf(sort(\"ID\")),cf(opt(layout)),lit(\",\"),cf(opt(layout)),cf(iter-star-sep(sort(\"ID\"),lit(\";\"))),cf(opt(layout)),lit(\")\")],cf(sort(\"BOOL\")),attrs([term(\"cons\"(\"sepelem\"))]))" ) , lf_7 , lf_7sym ) ;
register_prod ( ATparse ( "prod([lit(\"set\"),cf(opt(layout)),lit(\"(\"),cf(opt(layout)),cf(iter-star-sep(sort(\"ID\"),lit(\";\"))),cf(opt(layout)),lit(\")\")],cf(iter-star-sep(sort(\"ID\"),lit(\";\"))),attrs([term(\"cons\"(\"sepset\"))]))" ) , lf_8 , lf_8sym ) ;
register_prod ( ATparse ( "prod([lit(\"set\"),cf(opt(layout)),lit(\"(\"),cf(opt(layout)),cf(iter-star-sep(sort(\"ID\"),lit(\";\"))),cf(opt(layout)),lit(\")\")],cf(iter-star-sep(sort(\"ID\"),lit(\";\"))),attrs([term(\"cons\"(\"sepset\"))]))" ) , lf_8_recursive , lf_8_recursivesym ) ;
}

Ejemplo n.º 2

Mostrar archivo

void register_OutermostList ( ) {
lf_list_1sym = ATmakeSymbol ( "list(cf(iter-star(sort(\"ID\"))))"
 , 1 , ATtrue ) ;
ATprotectSymbol ( lf_list_1sym ) ;
register_prod ( ATparse ( "list(cf(iter-star(sort(\"ID\"))))" ) , lf_list_1 , lf_list_1sym ) ;
}