Class Types.specification_class


class specification_class : role_type list -> goals_type list -> composition_type -> object .. end

val mutable role_definitions_list : role_type list
val mutable goals : goals_type list
val mutable main_role : composition_type
method set_roles : role_type list -> bool
method get_roles : role_type list
method get_main_role : composition_type
method get_goals : goals_type list