req_vec_change Struct Reference

#include <requirements.h>

Data Fields
enum req_vec_change_operation	operation
struct requirement	req
req_vec_num_in_item	vector_number

Detailed Description

Definition at line 280 of file requirements.h.

Field Documentation

operation

enum req_vec_change_operation req_vec_change::operation

Definition at line 281 of file requirements.h.

Referenced by ae_suggest_repair_if_no_oblig(), enabler_first_self_contradiction(), enabler_tile_tgt_local_diplrel_implies_claimed(), purge_duplicate_req_vec(), purge_unused_req_vec(), req_vec_change_apply(), req_vec_change_translation(), req_vec_get_first_contradiction(), req_vec_get_first_missing_univ(), req_vec_get_first_redundant_req(), req_vec_problem_new_transl(), and rscompat_enabler_add_obligatory_hard_reqs().

req

struct requirement req_vec_change::req

Definition at line 282 of file requirements.h.

Referenced by ae_suggest_repair_if_no_oblig(), enabler_first_self_contradiction(), enabler_tile_tgt_local_diplrel_implies_claimed(), purge_duplicate_req_vec(), req_vec_change_apply(), req_vec_change_translation(), req_vec_get_first_contradiction(), req_vec_get_first_missing_univ(), req_vec_get_first_redundant_req(), and req_vec_problem_new_transl().

vector_number

req_vec_num_in_item req_vec_change::vector_number

Definition at line 284 of file requirements.h.

Referenced by ae_suggest_repair_if_no_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_get_first_missing_univ(), req_vec_get_first_redundant_req(), and req_vec_problem_new_transl().