solver_node
struct solver_node *node;
static struct solver_node *rg_search_node(struct solver_rgroup *rgp, u64 rid)
struct solver_node *node;
struct solver_node *node)
struct solver_node *snode,
struct solver_node *snode,
static struct solver_node *create_solver_node(struct solver_state *xrs,
struct solver_node *node;
struct solver_node *snode,
struct solver_node *snode;
struct solver_node *node;