Class proposition_list

Defined in File ptree.h

Inheritance Relationships

Base Type

public VAL::pc_list< proposition * > (Template Class pc_list)

Class Documentation

class proposition_list : public VAL::pc_list<proposition*>