std::vector< cref_node > ref_node
cref_node & operator=(const cref_node &r)
cref_node(const cref_node &r)
cref_node_list * make_ref_node_list(CNFData *nfd)
virtual void Read(class CNFData *nfd)
std::vector< cref_node_list * > ref_node_set
void clear_ref_node_set()
virtual void WriteData(class CNFData *nfd, FILE *fp)
void write_ref_node_list(CNFData *nfd, FILE *fp, cref_node_list *list)