Class con_goal

• Defined in File ptree.h

Inheritance Relationships

Base Type

• public VAL::goal (Class goal)

Derived Types

• public VAL::conj_goal (Class conj_goal)

• public VAL::constraint_goal (Class constraint_goal)

• public VAL::preference (Class preference)

• public VAL::qfied_goal (Class qfied_goal)

Class Documentation

class con_goal : public VAL::goal

Subclassed by VAL::conj_goal, VAL::constraint_goal, VAL::preference, VAL::qfied_goal