Defined in File ptree.h
public VAL::pc_list< goal * > (Template Class pc_list)
public VAL::pc_list< goal * >
Public Functions