req_vec_change Struct Reference

#include <requirements.h>

Collaboration diagram for req_vec_change:

Public Attributes
enum req_vec_change_operation	operation
struct requirement	req
req_vec_num_in_item	vector_number

Detailed Description

Definition at line 190 of file requirements.h.

Member Data Documentation

operation

enum req_vec_change_operation req_vec_change::operation

Definition at line 72 of file requirements.h.

Referenced by action_enabler_suggest_repair_oblig(), enabler_first_self_contradiction(), enabler_tile_tgt_local_diplrel_implies_claimed(), req_vec_change_apply(), req_vec_change_translation(), req_vec_get_first_contradiction(), req_vec_problem_new(), and rscompat_enabler_add_obligatory_hard_reqs().

req

struct requirement req_vec_change::req

Definition at line 72 of file requirements.h.

Referenced by action_enabler_suggest_repair_oblig(), enabler_first_self_contradiction(), enabler_tile_tgt_local_diplrel_implies_claimed(), req_vec_change_apply(), req_vec_change_translation(), and req_vec_get_first_contradiction().

vector_number

req_vec_num_in_item req_vec_change::vector_number

Definition at line 194 of file requirements.h.

Referenced by action_enabler_suggest_repair_oblig(), enabler_first_self_contradiction(), enabler_tile_tgt_local_diplrel_implies_claimed(), req_vec_change_apply(), req_vec_change_translation(), and req_vec_get_first_contradiction().