SexpFsm_ptr SexpFsm_copy( const SexpFsm_ptr self )
SexpFsm.c
SexpFsm_ptr SexpFsm_create_predicate_normalised_copy( const SexpFsm_ptr self, PredicateNormaliser_ptr normaliser )
SexpFsm.c
SexpFsm_ptr SexpFsm_create( BddEnc_ptr enc, SymbLayer_ptr det_layer, SymbLayer_ptr inl_layer, VarSet_ptr vars_list, FlatHierarchy_ptr hierarchy )
SexpFsm.c
void SexpFsm_destroy( SexpFsm_ptr self )
SexpFsm.c
BoolEnc_ptr SexpFsm_get_bool_enc( const SexpFsm_ptr self )
SexpFsm.c
node_ptr SexpFsm_get_compassion( const SexpFsm_ptr self )
SexpFsm.c
FlatHierarchy_ptr SexpFsm_get_hierarchy( const SexpFsm_ptr self )
SexpFsm.c
Expr_ptr SexpFsm_get_init( const SexpFsm_ptr self )
SexpFsm.c
Expr_ptr SexpFsm_get_input( const SexpFsm_ptr self )
SexpFsm.c
Expr_ptr SexpFsm_get_invar( const SexpFsm_ptr self )
SexpFsm.c
node_ptr SexpFsm_get_justice( const SexpFsm_ptr self )
SexpFsm.c
SymbTable_ptr SexpFsm_get_symb_table( const SexpFsm_ptr self )
SexpFsm.c
Expr_ptr SexpFsm_get_trans( const SexpFsm_ptr self )
SexpFsm.c
Expr_ptr SexpFsm_get_var_init( const SexpFsm_ptr self, node_ptr var_name )
SexpFsm.c
Expr_ptr SexpFsm_get_var_input( const SexpFsm_ptr self, node_ptr var_name )
SexpFsm.c
Expr_ptr SexpFsm_get_var_invar( const SexpFsm_ptr self, node_ptr var_name )
SexpFsm.c
Expr_ptr SexpFsm_get_var_trans( const SexpFsm_ptr self, node_ptr var_name )
SexpFsm.c
VarSet_ptr SexpFsm_get_vars_list( const SexpFsm_ptr self )
SexpFsm.c
boolean SexpFsm_is_boolean( const SexpFsm_ptr self )
SexpFsm.c
SexpFsm_ptr SexpFsm_scalar_to_boolean( const SexpFsm_ptr self, SymbLayer_ptr det_layer, SymbLayer_ptr inl_layer )
SexpFsm.c
static void __add_vertex_aux( hash_ptr hash, node_ptr from, node_ptr to )
SexpFsm.c
static enum st_retval __free_nodelist( char* key, char* val, char* data )
SexpFsm.c
static node_ptr __search_eqdef( node_ptr expr, node_ptr name )
SexpFsm.c
static node_ptr _subst_expr( SymbTable_ptr st, node_ptr expr, hash_ptr subst )
SexpFsm.c
static void sexp_fsm_add_vertex( SexpFsm_ptr self, node_ptr from, node_ptr to )
SexpFsm.c
static boolean sexp_fsm_add_vertices_from_expr( SexpFsm_ptr self, node_ptr name, node_ptr expr, VarFilterType filter )
SexpFsm.c
static node_ptr sexp_fsm_apply_inlining( SexpFsm_ptr self, node_ptr expr )
SexpFsm.c
static Expr_ptr sexp_fsm_booleanize_expr( SexpFsm_ptr self, Expr_ptr expr )
SexpFsm.c
static assoc_retval sexp_fsm_callback_var_fsm_free( char * key, char * data, char * arg )
SexpFsm.c
static void sexp_fsm_copy( const SexpFsm_ptr self, SexpFsm_ptr copy )
SexpFsm.c
static void sexp_fsm_create_vars_dag( SexpFsm_ptr self )
SexpFsm.c
static NodeList_ptr sexp_fsm_dag_get_roots( SexpFsm_ptr self )
SexpFsm.c
static hash_ptr sexp_fsm_dag_get_subst_hash( SexpFsm_ptr self )
SexpFsm.c
static void sexp_fsm_deinit( SexpFsm_ptr self )
SexpFsm.c
static void sexp_fsm_destroy_vars_dag( SexpFsm_ptr self )
SexpFsm.c
static void sexp_fsm_hash_var_fsm_destroy( SexpFsm_ptr self )
SexpFsm.c
static void sexp_fsm_hash_var_fsm_init( SexpFsm_ptr self )
SexpFsm.c
static void sexp_fsm_hash_var_fsm_insert_var( SexpFsm_ptr self, node_ptr var, VarFsm_ptr varfsm )
SexpFsm.c
static VarFsm_ptr sexp_fsm_hash_var_fsm_lookup_var( SexpFsm_ptr self, node_ptr var )
SexpFsm.c
static void sexp_fsm_init( SexpFsm_ptr self, BddEnc_ptr enc, SymbLayer_ptr det_layer, SymbLayer_ptr inl_layer, VarSet_ptr vars_list, FlatHierarchy_ptr hierarchy )
SexpFsm.c
static void sexp_fsm_remove_dep_dag_node( SexpFsm_ptr self, node_ptr from )
SexpFsm.c
static Expr_ptr sexp_fsm_simplify_expr( SexpFsm_ptr self, hash_ptr hash, Expr_ptr expr, const int group )
SexpFsm.c
static void simplifier_hash_add_expr( hash_ptr hash, Expr_ptr expr, const int group )
SexpFsm.c
static hash_ptr simplifier_hash_create( )
SexpFsm.c
static void simplifier_hash_destroy( hash_ptr hash )
SexpFsm.c
static boolean simplifier_hash_query_expr( hash_ptr hash, Expr_ptr expr, const int group )
SexpFsm.c
static VarFsm_ptr var_fsm_create( Expr_ptr init, Expr_ptr invar, Expr_ptr next )
SexpFsm.c
static void var_fsm_destroy( VarFsm_ptr self )
SexpFsm.c
static Expr_ptr var_fsm_get_init( VarFsm_ptr self )
SexpFsm.c
static Expr_ptr var_fsm_get_input( VarFsm_ptr self )
SexpFsm.c
static Expr_ptr var_fsm_get_invar( VarFsm_ptr self )
SexpFsm.c
static Expr_ptr var_fsm_get_next( VarFsm_ptr self )
SexpFsm.c