PslNode_ptr PslNode_convert_from_node_ptr( node_ptr expr )
pslNode.c
PslNode_ptr PslNode_convert_id( PslNode_ptr id, PslOpConvType type )
pslConv.c
node_ptr PslNode_convert_to_node_ptr( PslNode_ptr expr )
pslNode.c
boolean PslNode_is_handled_psl( PslNode_ptr e )
optional
pslNode.c
boolean PslNode_is_ltl( const PslNode_ptr expr )
optional
pslNode.c
boolean PslNode_is_obe( const PslNode_ptr expr )
optional
pslNode.c
boolean PslNode_is_propositional( const PslNode_ptr expr )
optional
pslNode.c
PslNode_ptr PslNode_new_context( PslNode_ptr ctx, PslNode_ptr node )
pslNode.c
int PslNode_print( FILE* f, PslNode_ptr expr )
optional
pslPrint.c
PslNode_ptr PslNode_pslltl2ltl( PslNode_ptr expr, PslOpConvType type )
optional
pslConv.c
PslNode_ptr PslNode_pslobe2ctl( PslNode_ptr expr, PslOpConvType type )
optional
pslConv.c
PslNode_ptr PslNode_remove_sere( PslNode_ptr e )
optional
pslConv.c
PslNode_ptr psl_conv_new_node( PslOpConvType conv, PslOp op, PslNode_ptr left, PslNode_ptr right )
PslNode_convert_id
pslNode.c
int psl_conv_op( int op, PslOpConvType type )
PSL_OP_CONV2
pslConv.c
static int psl_expr_base_num_to_val( char* base_num )
optional
pslExpr.c
static int psl_expr_check_klass( const PslExpr psl, SyntaxClass expected )
optional
pslExpr.c
static PslNode_ptr psl_expr_context2maincontext( PslNode_ptr context )
optional
pslExpr.c
static int psl_expr_is_boolean( const PslExpr psl )
optional
pslExpr.c
static void psl_expr_print_klass( FILE* file, SyntaxClass type )
optional
pslExpr.c
static void psl_expr_require_klass( const PslExpr psl, SyntaxClass expected )
optional
pslExpr.c
PslNode_ptr psl_new_node( PslOp _type, PslNode_ptr left, PslNode_ptr right )
optional
pslNode.c
PslNode_ptr psl_node_cons_get_element( PslNode_ptr e )
pslNode.c
PslNode_ptr psl_node_cons_get_next( PslNode_ptr e )
pslNode.c
PslNode_ptr psl_node_cons_reverse( PslNode_ptr e )
pslNode.c
static PslNode_ptr psl_node_expand_next_event( PslOp op, PslNode_ptr f, PslNode_ptr b, PslOpConvType type )
optional
pslConv.c
static PslNode_ptr psl_node_expand_replicator( PslNode_ptr rep, PslNode_ptr wff )
optional
pslConv.c
PslNode_ptr psl_node_extended_next_get_condition( PslNode_ptr next )
pslNode.c
PslNode_ptr psl_node_extended_next_get_expr( PslNode_ptr next )
pslNode.c
PslNode_ptr psl_node_extended_next_get_when( PslNode_ptr next )
pslNode.c
PslNode_ptr psl_node_get_case_cond( PslNode_ptr _case )
pslNode.c
PslNode_ptr psl_node_get_case_next( PslNode_ptr _case )
pslNode.c
PslNode_ptr psl_node_get_case_then( PslNode_ptr _case )
pslNode.c
PslNode_ptr psl_node_get_ite_cond( PslNode_ptr _ite )
pslNode.c
PslNode_ptr psl_node_get_ite_else( PslNode_ptr _ite )
pslNode.c
PslNode_ptr psl_node_get_ite_then( PslNode_ptr _ite )
pslNode.c
PslNode_ptr psl_node_get_left( PslNode_ptr n )
pslNode.c
PslOp psl_node_get_op( PslNode_ptr n )
pslNode.c
PslNode_ptr psl_node_get_replicator_id( PslNode_ptr _repl )
pslNode.c
PslNode_ptr psl_node_get_replicator_range( PslNode_ptr _repl )
pslNode.c
PslNode_ptr psl_node_get_replicator_value_set( PslNode_ptr _repl )
pslNode.c
PslNode_ptr psl_node_get_right( PslNode_ptr n )
pslNode.c
static PslNode_ptr psl_node_insert_inside_holes( PslNode_ptr e, PslNode_ptr to_be_inserted, boolean* inserted )
optional
pslConv.c
boolean psl_node_is_boolean_type( PslNode_ptr expr )
pslNode.c
boolean psl_node_is_case( PslNode_ptr _case )
pslNode.c
boolean psl_node_is_cons( PslNode_ptr e )
pslNode.c
static boolean psl_node_is_emptystar_free( PslNode_ptr expr )
pslNode.c
static boolean psl_node_is_equal( PslNode_ptr e, PslNode_ptr f )
pslNode.c
boolean psl_node_is_extended_next( PslNode_ptr e )
pslNode.c
static boolean psl_node_is_fl_op( PslOp op )
PslNode_is_handled_psl
pslNode.c
static boolean psl_node_is_handled_fl_op( PslOp op )
PslNode_is_handled_psl
pslNode.c
static boolean psl_node_is_handled_next( PslNode_ptr next )
PslNode_is_handled_psl
pslNode.c
static boolean psl_node_is_handled_sere( PslNode_ptr e, boolean toplevel )
PslNode_is_handled_psl
pslNode.c
boolean psl_node_is_handled_star( PslNode_ptr expr, boolean toplevel )
pslNode.c
boolean psl_node_is_id_equal( PslNode_ptr _id1, PslNode_ptr _id2 )
pslNode.c
boolean psl_node_is_id( PslNode_ptr expr )
pslNode.c
boolean psl_node_is_infinite( PslNode_ptr expr )
pslNode.c
boolean psl_node_is_ite( PslNode_ptr _ite )
pslNode.c
boolean psl_node_is_leaf( PslNode_ptr expr )
pslNode.c
boolean psl_node_is_num_equal( PslNode_ptr _id1, PslNode_ptr _id2 )
pslNode.c
boolean psl_node_is_number( PslNode_ptr e )
pslNode.c
static boolean psl_node_is_obe_op( PslOp op )
PslNode_is_handled_psl
pslNode.c
boolean psl_node_is_propstar( PslNode_ptr e )
pslNode.c
boolean psl_node_is_range( PslNode_ptr expr )
pslNode.c
boolean psl_node_is_repl_prop( PslNode_ptr _prop )
pslNode.c
boolean psl_node_is_replicator( PslNode_ptr _repl )
pslNode.c
boolean psl_node_is_sere_compound_binary( PslNode_ptr e )
pslNode.c
boolean psl_node_is_sere( PslNode_ptr expr )
pslNode.c
static boolean psl_node_is_star_free( PslNode_ptr expr )
pslNode.c
boolean psl_node_is_suffix_implication_strong( PslNode_ptr expr )
pslNode.c
boolean psl_node_is_suffix_implication_weak( PslNode_ptr expr )
pslNode.c
boolean psl_node_is_suffix_implication( PslNode_ptr expr )
pslNode.c
PslNode_ptr psl_node_make_cons( PslNode_ptr elem, PslNode_ptr next )
pslNode.c
PslNode_ptr psl_node_make_extended_next( PslOp op, PslNode_ptr expr, PslNode_ptr when, PslNode_ptr condition )
pslNode.c
PslNode_ptr psl_node_make_false( )
pslNode.c
PslNode_ptr psl_node_make_number( int value )
pslNode.c
PslNode_ptr psl_node_make_sere_compound( PslNode_ptr seq1, PslOp op, PslNode_ptr seq2 )
pslNode.c
PslNode_ptr psl_node_make_true( )
pslNode.c
int psl_node_number_get_value( PslNode_ptr e )
pslNode.c
static int psl_node_print_array( FILE* f, PslNode_ptr expr )
optional
pslPrint.c
static int psl_node_print_id( FILE* f, PslNode_ptr id )
optional
pslPrint.c
static int psl_node_print( FILE* f, PslNode_ptr expr )
optional
pslPrint.c
PslNode_ptr psl_node_prune( PslNode_ptr tree, PslNode_ptr branch )
pslNode.c
static PslNode_ptr psl_node_pslltl2ltl( PslNode_ptr expr, PslOpConvType type, NodeList_ptr replicator_id_stack )
optional
pslConv.c
static PslNode_ptr psl_node_pslobe2ctl( PslNode_ptr expr, PslOpConvType type, NodeList_ptr replicator_id_stack )
PslNode_pslobe2ctl
pslConv.c
static PslNode_ptr psl_node_range_expand( PslNode_ptr range, PslNode_ptr vset )
optional
pslConv.c
PslNode_ptr psl_node_range_get_high( PslNode_ptr expr )
pslNode.c
PslNode_ptr psl_node_range_get_low( PslNode_ptr expr )
pslNode.c
static PslNode_ptr psl_node_remove_suffix_implication( PslNode_ptr e )
optional
pslConv.c
PslNode_ptr psl_node_repl_prop_get_property( PslNode_ptr _prop )
psl_node_repl_prop_get_replicator
pslNode.c
PslNode_ptr psl_node_repl_prop_get_replicator( PslNode_ptr _prop )
psl_node_repl_prop_get_property
pslNode.c
static PslNode_ptr psl_node_sere_concat_fusion2ltl( PslNode_ptr e, PslNode_ptr phi )
optional
pslConv.c
static PslNode_ptr psl_node_sere_distrib_disj( PslNode_ptr e, boolean * modified )
optional
pslConv.c
static PslNode_ptr psl_node_sere_get_leftmost( PslNode_ptr e )
optional
pslConv.c
static PslNode_ptr psl_node_sere_get_rightmost( PslNode_ptr e )
optional
pslConv.c
boolean psl_node_sere_is_2ampersand( PslNode_ptr e )
pslNode.c
static boolean psl_node_sere_is_ampersand( PslNode_ptr e )
optional
pslConv.c
boolean psl_node_sere_is_concat_fusion_holes_free( PslNode_ptr e )
pslNode.c
boolean psl_node_sere_is_concat_fusion( PslNode_ptr e )
pslNode.c
boolean psl_node_sere_is_concat_holes_free( PslNode_ptr e )
pslNode.c
static boolean psl_node_sere_is_disj( PslNode_ptr e )
optional
pslConv.c
boolean psl_node_sere_is_plus( PslNode_ptr e )
pslNode.c
boolean psl_node_sere_is_propositional( PslNode_ptr e )
pslNode.c
boolean psl_node_sere_is_repeated( PslNode_ptr e )
pslNode.c
boolean psl_node_sere_is_standalone_plus( PslNode_ptr e )
pslNode.c
boolean psl_node_sere_is_standalone_star( PslNode_ptr e )
pslNode.c
boolean psl_node_sere_is_star_count( PslNode_ptr e )
pslNode.c
boolean psl_node_sere_is_stareq( PslNode_ptr e )
pslNode.c
boolean psl_node_sere_is_starminusgt( PslNode_ptr e )
pslNode.c
boolean psl_node_sere_is_star( PslNode_ptr e )
pslNode.c
static PslNode_ptr psl_node_sere_remove_2ampersand( PslNode_ptr e, boolean * modified )
optional
pslConv.c
static PslNode_ptr psl_node_sere_remove_ampersand( PslNode_ptr e, boolean* modified )
optional
pslConv.c
static PslNode_ptr psl_node_sere_remove_disj( PslNode_ptr e )
optional
pslConv.c
static PslNode_ptr psl_node_sere_remove_fusion( PslNode_ptr e, boolean * modified )
optional
pslConv.c
static PslNode_ptr psl_node_sere_remove_plus( PslNode_ptr e, boolean toplevel )
optional
pslConv.c
static PslNode_ptr psl_node_sere_remove_star_count( PslNode_ptr e )
optional
pslConv.c
static PslNode_ptr psl_node_sere_remove_star( PslNode_ptr e, boolean toplevel, boolean* modified )
optional
pslConv.c
static PslNode_ptr psl_node_sere_remove_trailing_plus( PslNode_ptr e )
optional
pslConv.c
static PslNode_ptr psl_node_sere_remove_trailing_star( PslNode_ptr e, boolean* modified )
optional
pslConv.c
PslNode_ptr psl_node_sere_repeated_get_expr( PslNode_ptr e )
pslNode.c
PslNode_ptr psl_node_sere_star_get_count( const PslNode_ptr e )
pslNode.c
static PslNode_ptr psl_node_sere_translate( PslNode_ptr e )
optional
pslConv.c
void psl_node_set_left( PslNode_ptr n, PslNode_ptr l )
pslNode.c
void psl_node_set_right( PslNode_ptr n, PslNode_ptr r )
pslNode.c
static PslNode_ptr psl_node_subst_id( PslNode_ptr expr, PslNode_ptr id, PslNode_ptr v, boolean is_top_level )
optional
pslConv.c
PslNode_ptr psl_node_suffix_implication_get_consequence( PslNode_ptr e )
pslNode.c
PslNode_ptr psl_node_suffix_implication_get_premise( PslNode_ptr e )
pslNode.c
static int psl_print_next_op( FILE * f, PslOp op )
optional
pslPrint.c
static int psl_print_op( FILE* f, PslOp op, boolean wrap_with_spaces )
optional
pslPrint.c
( )
pslConv.c