ParserProb_ptr 
ParserProb_create(
    
)

void 
ParserProb_destroy(
  ParserProb_ptr  self 
)

NodeList_ptr 
ParserProb_get_prob_list(
  const ParserProb_ptr  self 
)

void 
ParserProb_parse_from_file(
  ParserProb_ptr  self, 
  FILE* f 
)

void 
ParserProb_parse_from_string(
  ParserProb_ptr  self, 
  const char* str 
)

void 
ParserProb_reset(
  ParserProb_ptr  self 
)

void 
parser_prob_add(
  ParserProb_ptr  self, 
  node_ptr  prob 
)

static void 
parser_prob_deinit(
  ParserProb_ptr  self 
)

static void 
parser_prob_init(
  ParserProb_ptr  self 
)

node_ptr 
parser_prob_mk_array(
  ParserProb_ptr  self, 
  node_ptr  left, 
  node_ptr  right 
)

node_ptr 
parser_prob_mk_atom(
  ParserProb_ptr  self, 
  const char* name 
)

node_ptr 
parser_prob_mk_dot(
  ParserProb_ptr  self, 
  node_ptr  left, 
  node_ptr  right 
)

node_ptr 
parser_prob_mk_false(
  ParserProb_ptr  self 
)

node_ptr 
parser_prob_mk_num(
  ParserProb_ptr  self, 
  const int  num 
)

node_ptr 
parser_prob_mk_prob(
  ParserProb_ptr  self, 
  node_ptr  assigns, 
  node_ptr  prob 
)

node_ptr 
parser_prob_mk_real(
  ParserProb_ptr  self, 
  const char* real_text 
)

node_ptr 
parser_prob_mk_true(
  ParserProb_ptr  self 
)

node_ptr 
parser_prob_mk_var_assigns(
  ParserProb_ptr  self, 
  node_ptr  left, 
  node_ptr  right 
)

node_ptr 
parser_prob_mk_var_assign(
  ParserProb_ptr  self, 
  node_ptr  var, 
  node_ptr  val 
)