Public Member Functions
	pred_c (str_t pred_name, int pred_arity)

	pred_c (str_t pred_name, strtab_t dom_1)

	pred_c (str_t pred_name, strtab_t dom_1, strtab_t dom_2)

	pred_c (str_t pred_name, argtype_t argtype_1)

	pred_c (str_t pred_name, argtype_t argtype_1, argtype_t argtype_2)

str_t	name ()

int	arity ()

void	set_argtype (int arg_no, argtype_t arg_type)

argtype_t	argtype (int arg_no)

void	set_dom (int arg_no, strtab_t dom)

strtab_t	arg_dom (int arg_no)

bool	add_rel (rel_t rel, bind_t bind)

bool	add_rel (list_1_t rel)

bool	add_rel (list_2_t rel)

bool	add_rel (set_1_t rel)

bool	add_rel (set_2_t rel)

bool	add_rel (rel_n_n_t rel)

bool	store_fact (int args[])

pred_c *	hash_next ()

void	set_next (pred_c *next_pred)

void	dump (str_t headline=STR_NULL) const

The documentation for this class was generated from the following files:

Public Member Functions