PQS_MANAGER Module Reference

#include <pqs.h>

Collaboration diagram for PQS_MANAGER:

Collaboration graph
[legend]

Public Member Functions

_data push_back (dummy)
 Init_TN_OP_Info ()
 ~PQS_MANAGER ()
PQS_MARKER_TYPE Current_Marker ()
void Update_Marker (void)
void Set_Manager_Marker (PQS_MARKER_TYPE mark)
PQS_NODE_IDX New_pqs_idx (PQS_ITYPE itype, PQS_OP inst)
void PQS_NODE_set_out_pred1 (PQS_NODE_IDX i, PQS_TN p1)
void PQS_NODE_set_itype (PQS_NODE_IDX i, PQS_ITYPE itype)
void PQS_NODE_set_out_pred2 (PQS_NODE_IDX i, PQS_TN p2)
void PQS_NODE_set_in_pred1 (PQS_NODE_IDX i, PQS_NODE_IDX p1)
void PQS_NODE_set_in_pred2 (PQS_NODE_IDX i, PQS_NODE_IDX p2)
void PQS_NODE_set_qual_pred (PQS_NODE_IDX i, PQS_NODE_IDX p1)
void PQS_NODE_set_qual_tn (PQS_NODE_IDX i, PQS_TN t)
void PQS_NODE_add_use (PQS_NODE_IDX i, PQS_TN p, PQS_NODE_IDX use)
void PQS_NODE_Mark (PQS_NODE_IDX i)
void PQS_NODE_Mark (PQS_NODE_IDX i, PQS_TN t)
void PQS_NODE_set_flags (PQS_NODE_IDX i, PQS_NODE_FLAGS f)
void PQS_NODE_set_condition_true (PQS_NODE_IDX i)
void PQS_NODE_set_condition_false (PQS_NODE_IDX i)
PQS_OP PQS_NODE_get_op (PQS_NODE_IDX i)
PQS_ITYPE PQS_NODE_get_itype (PQS_NODE_IDX i)
PQS_TN PQS_NODE_get_out_pred1 (PQS_NODE_IDX i)
PQS_TN PQS_NODE_get_out_pred2 (PQS_NODE_IDX i)
PQS_NODE_IDX PQS_NODE_get_in_pred1 (PQS_NODE_IDX i)
PQS_NODE_IDX PQS_NODE_get_in_pred2 (PQS_NODE_IDX i)
PQS_TN PQS_NODE_get_qual_tn (PQS_NODE_IDX i)
PQS_NODE_IDX PQS_NODE_get_qual_pred (PQS_NODE_IDX i)
INT32 PQS_NODE_num_use1 (PQS_NODE_IDX i)
INT32 PQS_NODE_num_use2 (PQS_NODE_IDX i)
PQS_NODE_IDX PQS_NODE_get_use1 (PQS_NODE_IDX i, INT32 num)
PQS_NODE_IDX PQS_NODE_get_use2 (PQS_NODE_IDX i, INT32 num)
BOOL Is_Marked (PQS_NODE_IDX i)
BOOL Is_Marked1 (PQS_NODE_IDX i)
BOOL Is_Marked2 (PQS_NODE_IDX i)
PQS_MARKER_TYPE PQS_NODE_get_marker (PQS_NODE_IDX i, INT32 num)
PQS_NODE_FLAGS PQS_NODE_get_flags (PQS_NODE_IDX i)
BOOL PQS_NODE_condition_true (PQS_NODE_IDX i)
BOOL PQS_NODE_condition_false (PQS_NODE_IDX i)
PQS_NODE_IDX PQS_NODE_get_up_idx (PQS_NODE_IDX i, PQS_TN t)
INT32 PQS_NODE_get_1_2 (PQS_NODE_IDX i, PQS_TN t)
PQS_TN PQS_NODE_get_other_tn (PQS_NODE_IDX i, PQS_TN t)
void Print_all (FILE *f=stdout)
void Print_idx (PQS_NODE_IDX idx, FILE *f=stdout)
BOOL PQS_is_disjoint (PQS_TN tn1, PQS_TN tn2)
BOOL PQS_is_disjoint (PQS_TN_SET &tns1, PQS_TN_SET &tns2)
BOOL PQS_is_subset_of (PQS_TN tn1, PQS_TN tn2)
BOOL PQS_is_subset_of (PQS_TN tn1, PQS_TN_SET &tns2)
BOOL PQS_is_subset_of (PQS_TN_SET &tns1, PQS_TN_SET &tns2)
PQS_NODE_IDX PQS_Add_Instruction (PQS_OP inst)
_data push_back (dummy)
 Init_TN_OP_Info ()
 ~PQS_MANAGER ()
PQS_MARKER_TYPE Current_Marker ()
void Update_Marker (void)
void Set_Manager_Marker (PQS_MARKER_TYPE mark)
PQS_NODE_IDX New_pqs_idx (PQS_ITYPE itype, PQS_OP inst)
void PQS_NODE_set_out_pred1 (PQS_NODE_IDX i, PQS_TN p1)
void PQS_NODE_set_itype (PQS_NODE_IDX i, PQS_ITYPE itype)
void PQS_NODE_set_out_pred2 (PQS_NODE_IDX i, PQS_TN p2)
void PQS_NODE_set_in_pred1 (PQS_NODE_IDX i, PQS_NODE_IDX p1)
void PQS_NODE_set_in_pred2 (PQS_NODE_IDX i, PQS_NODE_IDX p2)
void PQS_NODE_set_qual_pred (PQS_NODE_IDX i, PQS_NODE_IDX p1)
void PQS_NODE_set_qual_tn (PQS_NODE_IDX i, PQS_TN t)
void PQS_NODE_add_use (PQS_NODE_IDX i, PQS_TN p, PQS_NODE_IDX use)
void PQS_NODE_Mark (PQS_NODE_IDX i)
void PQS_NODE_Mark (PQS_NODE_IDX i, PQS_TN t)
void PQS_NODE_set_flags (PQS_NODE_IDX i, PQS_NODE_FLAGS f)
void PQS_NODE_set_condition_true (PQS_NODE_IDX i)
void PQS_NODE_set_condition_false (PQS_NODE_IDX i)
PQS_OP PQS_NODE_get_op (PQS_NODE_IDX i)
PQS_ITYPE PQS_NODE_get_itype (PQS_NODE_IDX i)
PQS_TN PQS_NODE_get_out_pred1 (PQS_NODE_IDX i)
PQS_TN PQS_NODE_get_out_pred2 (PQS_NODE_IDX i)
PQS_NODE_IDX PQS_NODE_get_in_pred1 (PQS_NODE_IDX i)
PQS_NODE_IDX PQS_NODE_get_in_pred2 (PQS_NODE_IDX i)
PQS_TN PQS_NODE_get_qual_tn (PQS_NODE_IDX i)
PQS_NODE_IDX PQS_NODE_get_qual_pred (PQS_NODE_IDX i)
INT32 PQS_NODE_num_use1 (PQS_NODE_IDX i)
INT32 PQS_NODE_num_use2 (PQS_NODE_IDX i)
PQS_NODE_IDX PQS_NODE_get_use1 (PQS_NODE_IDX i, INT32 num)
PQS_NODE_IDX PQS_NODE_get_use2 (PQS_NODE_IDX i, INT32 num)
BOOL Is_Marked (PQS_NODE_IDX i)
BOOL Is_Marked1 (PQS_NODE_IDX i)
BOOL Is_Marked2 (PQS_NODE_IDX i)
PQS_MARKER_TYPE PQS_NODE_get_marker (PQS_NODE_IDX i, INT32 num)
PQS_NODE_FLAGS PQS_NODE_get_flags (PQS_NODE_IDX i)
BOOL PQS_NODE_condition_true (PQS_NODE_IDX i)
BOOL PQS_NODE_condition_false (PQS_NODE_IDX i)
PQS_NODE_IDX PQS_NODE_get_up_idx (PQS_NODE_IDX i, PQS_TN t)
INT32 PQS_NODE_get_1_2 (PQS_NODE_IDX i, PQS_TN t)
PQS_TN PQS_NODE_get_other_tn (PQS_NODE_IDX i, PQS_TN t)
void Print_all (FILE *f=stdout)
void Print_idx (PQS_NODE_IDX idx, FILE *f=stdout)
BOOL PQS_is_disjoint (PQS_TN tn1, PQS_TN tn2)
BOOL PQS_is_disjoint (PQS_TN_SET &tns1, PQS_TN_SET &tns2)
BOOL PQS_is_subset_of (PQS_TN tn1, PQS_TN tn2)
BOOL PQS_is_subset_of (PQS_TN tn1, PQS_TN_SET &tns2)
BOOL PQS_is_subset_of (PQS_TN_SET &tns1, PQS_TN_SET &tns2)
PQS_NODE_IDX PQS_Add_Instruction (PQS_OP inst)
_data push_back (dummy)
 Init_TN_OP_Info ()
 ~PQS_MANAGER ()
PQS_MARKER_TYPE Current_Marker ()
void Update_Marker (void)
void Set_Manager_Marker (PQS_MARKER_TYPE mark)
PQS_NODE_IDX New_pqs_idx (PQS_ITYPE itype, PQS_OP inst)
void PQS_NODE_set_out_pred1 (PQS_NODE_IDX i, PQS_TN p1)
void PQS_NODE_set_itype (PQS_NODE_IDX i, PQS_ITYPE itype)
void PQS_NODE_set_out_pred2 (PQS_NODE_IDX i, PQS_TN p2)
void PQS_NODE_set_in_pred1 (PQS_NODE_IDX i, PQS_NODE_IDX p1)
void PQS_NODE_set_in_pred2 (PQS_NODE_IDX i, PQS_NODE_IDX p2)
void PQS_NODE_set_qual_pred (PQS_NODE_IDX i, PQS_NODE_IDX p1)
void PQS_NODE_set_qual_tn (PQS_NODE_IDX i, PQS_TN t)
void PQS_NODE_add_use (PQS_NODE_IDX i, PQS_TN p, PQS_NODE_IDX use)
void PQS_NODE_Mark (PQS_NODE_IDX i)
void PQS_NODE_Mark (PQS_NODE_IDX i, PQS_TN t)
void PQS_NODE_set_flags (PQS_NODE_IDX i, PQS_NODE_FLAGS f)
void PQS_NODE_set_condition_true (PQS_NODE_IDX i)
void PQS_NODE_set_condition_false (PQS_NODE_IDX i)
PQS_OP PQS_NODE_get_op (PQS_NODE_IDX i)
PQS_ITYPE PQS_NODE_get_itype (PQS_NODE_IDX i)
PQS_TN PQS_NODE_get_out_pred1 (PQS_NODE_IDX i)
PQS_TN PQS_NODE_get_out_pred2 (PQS_NODE_IDX i)
PQS_NODE_IDX PQS_NODE_get_in_pred1 (PQS_NODE_IDX i)
PQS_NODE_IDX PQS_NODE_get_in_pred2 (PQS_NODE_IDX i)
PQS_TN PQS_NODE_get_qual_tn (PQS_NODE_IDX i)
PQS_NODE_IDX PQS_NODE_get_qual_pred (PQS_NODE_IDX i)
INT32 PQS_NODE_num_use1 (PQS_NODE_IDX i)
INT32 PQS_NODE_num_use2 (PQS_NODE_IDX i)
PQS_NODE_IDX PQS_NODE_get_use1 (PQS_NODE_IDX i, INT32 num)
PQS_NODE_IDX PQS_NODE_get_use2 (PQS_NODE_IDX i, INT32 num)
BOOL Is_Marked (PQS_NODE_IDX i)
BOOL Is_Marked1 (PQS_NODE_IDX i)
BOOL Is_Marked2 (PQS_NODE_IDX i)
PQS_MARKER_TYPE PQS_NODE_get_marker (PQS_NODE_IDX i, INT32 num)
PQS_NODE_FLAGS PQS_NODE_get_flags (PQS_NODE_IDX i)
BOOL PQS_NODE_condition_true (PQS_NODE_IDX i)
BOOL PQS_NODE_condition_false (PQS_NODE_IDX i)
PQS_NODE_IDX PQS_NODE_get_up_idx (PQS_NODE_IDX i, PQS_TN t)
INT32 PQS_NODE_get_1_2 (PQS_NODE_IDX i, PQS_TN t)
PQS_TN PQS_NODE_get_other_tn (PQS_NODE_IDX i, PQS_TN t)
void Print_all (FILE *f=stdout)
void Print_idx (PQS_NODE_IDX idx, FILE *f=stdout)
BOOL PQS_is_disjoint (PQS_TN tn1, PQS_TN tn2)
BOOL PQS_is_disjoint (PQS_TN_SET &tns1, PQS_TN_SET &tns2)
BOOL PQS_is_subset_of (PQS_TN tn1, PQS_TN tn2)
BOOL PQS_is_subset_of (PQS_TN tn1, PQS_TN_SET &tns2)
BOOL PQS_is_subset_of (PQS_TN_SET &tns1, PQS_TN_SET &tns2)
PQS_NODE_IDX PQS_Add_Instruction (PQS_OP inst)
_data push_back (dummy)
 Init_TN_OP_Info ()
 ~PQS_MANAGER ()
PQS_MARKER_TYPE Current_Marker ()
void Update_Marker (void)
void Set_Manager_Marker (PQS_MARKER_TYPE mark)
PQS_NODE_IDX New_pqs_idx (PQS_ITYPE itype, PQS_OP inst)
void PQS_NODE_set_out_pred1 (PQS_NODE_IDX i, PQS_TN p1)
void PQS_NODE_set_itype (PQS_NODE_IDX i, PQS_ITYPE itype)
void PQS_NODE_set_out_pred2 (PQS_NODE_IDX i, PQS_TN p2)
void PQS_NODE_set_in_pred1 (PQS_NODE_IDX i, PQS_NODE_IDX p1)
void PQS_NODE_set_in_pred2 (PQS_NODE_IDX i, PQS_NODE_IDX p2)
void PQS_NODE_set_qual_pred (PQS_NODE_IDX i, PQS_NODE_IDX p1)
void PQS_NODE_set_qual_tn (PQS_NODE_IDX i, PQS_TN t)
void PQS_NODE_add_use (PQS_NODE_IDX i, PQS_TN p, PQS_NODE_IDX use)
void PQS_NODE_Mark (PQS_NODE_IDX i)
void PQS_NODE_Mark (PQS_NODE_IDX i, PQS_TN t)
void PQS_NODE_set_flags (PQS_NODE_IDX i, PQS_NODE_FLAGS f)
void PQS_NODE_set_condition_true (PQS_NODE_IDX i)
void PQS_NODE_set_condition_false (PQS_NODE_IDX i)
PQS_OP PQS_NODE_get_op (PQS_NODE_IDX i)
PQS_ITYPE PQS_NODE_get_itype (PQS_NODE_IDX i)
PQS_TN PQS_NODE_get_out_pred1 (PQS_NODE_IDX i)
PQS_TN PQS_NODE_get_out_pred2 (PQS_NODE_IDX i)
PQS_NODE_IDX PQS_NODE_get_in_pred1 (PQS_NODE_IDX i)
PQS_NODE_IDX PQS_NODE_get_in_pred2 (PQS_NODE_IDX i)
PQS_TN PQS_NODE_get_qual_tn (PQS_NODE_IDX i)
PQS_NODE_IDX PQS_NODE_get_qual_pred (PQS_NODE_IDX i)
INT32 PQS_NODE_num_use1 (PQS_NODE_IDX i)
INT32 PQS_NODE_num_use2 (PQS_NODE_IDX i)
PQS_NODE_IDX PQS_NODE_get_use1 (PQS_NODE_IDX i, INT32 num)
PQS_NODE_IDX PQS_NODE_get_use2 (PQS_NODE_IDX i, INT32 num)
BOOL Is_Marked (PQS_NODE_IDX i)
BOOL Is_Marked1 (PQS_NODE_IDX i)
BOOL Is_Marked2 (PQS_NODE_IDX i)
PQS_MARKER_TYPE PQS_NODE_get_marker (PQS_NODE_IDX i, INT32 num)
PQS_NODE_FLAGS PQS_NODE_get_flags (PQS_NODE_IDX i)
BOOL PQS_NODE_condition_true (PQS_NODE_IDX i)
BOOL PQS_NODE_condition_false (PQS_NODE_IDX i)
PQS_NODE_IDX PQS_NODE_get_up_idx (PQS_NODE_IDX i, PQS_TN t)
INT32 PQS_NODE_get_1_2 (PQS_NODE_IDX i, PQS_TN t)
PQS_TN PQS_NODE_get_other_tn (PQS_NODE_IDX i, PQS_TN t)
void Print_all (FILE *f=stdout)
void Print_idx (PQS_NODE_IDX idx, FILE *f=stdout)
BOOL PQS_is_disjoint (PQS_TN tn1, PQS_TN tn2)
BOOL PQS_is_disjoint (PQS_TN_SET &tns1, PQS_TN_SET &tns2)
BOOL PQS_is_subset_of (PQS_TN tn1, PQS_TN tn2)
BOOL PQS_is_subset_of (PQS_TN tn1, PQS_TN_SET &tns2)
BOOL PQS_is_subset_of (PQS_TN_SET &tns1, PQS_TN_SET &tns2)
PQS_NODE_IDX PQS_Add_Instruction (PQS_OP inst)

Data Fields

 __pad0__: _data(&PQS_mem_pool) { PQS_NODE dummy
 _mark_number = 0
TN_MAP PQS_tn_map
OP_MAP PQS_op_map
PQS_TN PQS_TN_P0

Private Member Functions

BOOL PQS_is_disjoint_helper (PQS_NODE_IDX tni2, PQS_TN tn2)
PQS_TRUTH never_true_together (PQS_TN t1, PQS_TN t2, PQS_NODE_IDX tni)
BOOL may_set_TRUE (PQS_NODE_IDX tni, PQS_TN tn)
BOOL may_set_FALSE (PQS_NODE_IDX tni, PQS_TN tn)
BOOL always_set_TRUE (PQS_NODE_IDX tni, PQS_TN tn)
BOOL always_set_FALSE (PQS_NODE_IDX tni, PQS_TN tn)
BOOL never_set_TRUE (PQS_NODE_IDX tni, PQS_TN tn)
BOOL never_set_FALSE (PQS_NODE_IDX tni, PQS_TN tn)
BOOL may_set_TRUE (INT32 truth)
BOOL may_set_FALSE (INT32 truth)
BOOL never_set_TRUE (INT32 truth)
BOOL never_set_FALSE (INT32 truth)
BOOL always_set_TRUE (INT32 truth)
BOOL always_set_FALSE (INT32 truth)
BOOL qual_always_true (INT32 truth)
INT32 get_truth_info (PQS_NODE_IDX tni, PQS_TN tn)
BOOL PQS_is_subset_of (PQS_NODE_IDX tni1, PQS_TN tn1, PQS_NODE_IDX tni2, PQS_TN tn2)
BOOL PQS_is_subset_of (PQS_NODE_IDX tni1, PQS_TN tn1, PQS_TN_SET &tns2)
BOOL PQS_is_disjoint (PQS_NODE_IDX tni1, PQS_NODE_IDX tni2, PQS_TN tn1, PQS_TN tn2)
BOOL PQS_is_disjoint_h (PQS_NODE_IDX tni1, PQS_NODE_IDX tni2, PQS_TN tn1, PQS_TN tn2)
void PQS_Mark_TN_Parents_TRUE (PQS_NODE_IDX tni, PQS_TN tn)
void PQS_Mark_TN_Parents_TRUE (PQS_TN tn)
PQS_TN_SET Simplify_TN_Set (const PQS_TN_SET &tn_in)
void Simplify_TNI_Set (PQS_TNI_SET &tni_in)
BOOL Simplify_In_Set (PQS_NODE_IDX tni, PQS_TN tn, PQS_TNI_SET &tnis)
void Init_TN_OP_Info (void)
BOOL PQS_is_disjoint_helper (PQS_NODE_IDX tni2, PQS_TN tn2)
PQS_TRUTH never_true_together (PQS_TN t1, PQS_TN t2, PQS_NODE_IDX tni)
BOOL may_set_TRUE (PQS_NODE_IDX tni, PQS_TN tn)
BOOL may_set_FALSE (PQS_NODE_IDX tni, PQS_TN tn)
BOOL always_set_TRUE (PQS_NODE_IDX tni, PQS_TN tn)
BOOL always_set_FALSE (PQS_NODE_IDX tni, PQS_TN tn)
BOOL never_set_TRUE (PQS_NODE_IDX tni, PQS_TN tn)
BOOL never_set_FALSE (PQS_NODE_IDX tni, PQS_TN tn)
BOOL may_set_TRUE (INT32 truth)
BOOL may_set_FALSE (INT32 truth)
BOOL never_set_TRUE (INT32 truth)
BOOL never_set_FALSE (INT32 truth)
BOOL always_set_TRUE (INT32 truth)
BOOL always_set_FALSE (INT32 truth)
BOOL qual_always_true (INT32 truth)
INT32 get_truth_info (PQS_NODE_IDX tni, PQS_TN tn)
BOOL PQS_is_subset_of (PQS_NODE_IDX tni1, PQS_TN tn1, PQS_NODE_IDX tni2, PQS_TN tn2)
BOOL PQS_is_subset_of (PQS_NODE_IDX tni1, PQS_TN tn1, PQS_TN_SET &tns2)
BOOL PQS_is_disjoint (PQS_NODE_IDX tni1, PQS_NODE_IDX tni2, PQS_TN tn1, PQS_TN tn2)
BOOL PQS_is_disjoint_h (PQS_NODE_IDX tni1, PQS_NODE_IDX tni2, PQS_TN tn1, PQS_TN tn2)
void PQS_Mark_TN_Parents_TRUE (PQS_NODE_IDX tni, PQS_TN tn)
void PQS_Mark_TN_Parents_TRUE (PQS_TN tn)
PQS_TN_SET Simplify_TN_Set (const PQS_TN_SET &tn_in)
void Simplify_TNI_Set (PQS_TNI_SET &tni_in)
BOOL Simplify_In_Set (PQS_NODE_IDX tni, PQS_TN tn, PQS_TNI_SET &tnis)
void Init_TN_OP_Info (void)
BOOL PQS_is_disjoint_helper (PQS_NODE_IDX tni2, PQS_TN tn2)
PQS_TRUTH never_true_together (PQS_TN t1, PQS_TN t2, PQS_NODE_IDX tni)
BOOL may_set_TRUE (PQS_NODE_IDX tni, PQS_TN tn)
BOOL may_set_FALSE (PQS_NODE_IDX tni, PQS_TN tn)
BOOL always_set_TRUE (PQS_NODE_IDX tni, PQS_TN tn)
BOOL always_set_FALSE (PQS_NODE_IDX tni, PQS_TN tn)
BOOL never_set_TRUE (PQS_NODE_IDX tni, PQS_TN tn)
BOOL never_set_FALSE (PQS_NODE_IDX tni, PQS_TN tn)
BOOL may_set_TRUE (INT32 truth)
BOOL may_set_FALSE (INT32 truth)
BOOL never_set_TRUE (INT32 truth)
BOOL never_set_FALSE (INT32 truth)
BOOL always_set_TRUE (INT32 truth)
BOOL always_set_FALSE (INT32 truth)
BOOL qual_always_true (INT32 truth)
INT32 get_truth_info (PQS_NODE_IDX tni, PQS_TN tn)
BOOL PQS_is_subset_of (PQS_NODE_IDX tni1, PQS_TN tn1, PQS_NODE_IDX tni2, PQS_TN tn2)
BOOL PQS_is_subset_of (PQS_NODE_IDX tni1, PQS_TN tn1, PQS_TN_SET &tns2)
BOOL PQS_is_disjoint (PQS_NODE_IDX tni1, PQS_NODE_IDX tni2, PQS_TN tn1, PQS_TN tn2)
BOOL PQS_is_disjoint_h (PQS_NODE_IDX tni1, PQS_NODE_IDX tni2, PQS_TN tn1, PQS_TN tn2)
void PQS_Mark_TN_Parents_TRUE (PQS_NODE_IDX tni, PQS_TN tn)
void PQS_Mark_TN_Parents_TRUE (PQS_TN tn)
PQS_TN_SET Simplify_TN_Set (const PQS_TN_SET &tn_in)
void Simplify_TNI_Set (PQS_TNI_SET &tni_in)
BOOL Simplify_In_Set (PQS_NODE_IDX tni, PQS_TN tn, PQS_TNI_SET &tnis)
void Init_TN_OP_Info (void)
BOOL PQS_is_disjoint_helper (PQS_NODE_IDX tni2, PQS_TN tn2)
PQS_TRUTH never_true_together (PQS_TN t1, PQS_TN t2, PQS_NODE_IDX tni)
BOOL may_set_TRUE (PQS_NODE_IDX tni, PQS_TN tn)
BOOL may_set_FALSE (PQS_NODE_IDX tni, PQS_TN tn)
BOOL always_set_TRUE (PQS_NODE_IDX tni, PQS_TN tn)
BOOL always_set_FALSE (PQS_NODE_IDX tni, PQS_TN tn)
BOOL never_set_TRUE (PQS_NODE_IDX tni, PQS_TN tn)
BOOL never_set_FALSE (PQS_NODE_IDX tni, PQS_TN tn)
BOOL may_set_TRUE (INT32 truth)
BOOL may_set_FALSE (INT32 truth)
BOOL never_set_TRUE (INT32 truth)
BOOL never_set_FALSE (INT32 truth)
BOOL always_set_TRUE (INT32 truth)
BOOL always_set_FALSE (INT32 truth)
BOOL qual_always_true (INT32 truth)
INT32 get_truth_info (PQS_NODE_IDX tni, PQS_TN tn)
BOOL PQS_is_subset_of (PQS_NODE_IDX tni1, PQS_TN tn1, PQS_NODE_IDX tni2, PQS_TN tn2)
BOOL PQS_is_subset_of (PQS_NODE_IDX tni1, PQS_TN tn1, PQS_TN_SET &tns2)
BOOL PQS_is_disjoint (PQS_NODE_IDX tni1, PQS_NODE_IDX tni2, PQS_TN tn1, PQS_TN tn2)
BOOL PQS_is_disjoint_h (PQS_NODE_IDX tni1, PQS_NODE_IDX tni2, PQS_TN tn1, PQS_TN tn2)
void PQS_Mark_TN_Parents_TRUE (PQS_NODE_IDX tni, PQS_TN tn)
void PQS_Mark_TN_Parents_TRUE (PQS_TN tn)
PQS_TN_SET Simplify_TN_Set (const PQS_TN_SET &tn_in)
void Simplify_TNI_Set (PQS_TNI_SET &tni_in)
BOOL Simplify_In_Set (PQS_NODE_IDX tni, PQS_TN tn, PQS_TNI_SET &tnis)
void Init_TN_OP_Info (void)

Private Attributes

PQS_NODE_VECTOR _data
PQS_MARKER_TYPE _mark_number

Detailed Description

Definition at line 160 of file pqs.h.

Constructor & Destructor Documentation

PQS_MANAGER::~PQS_MANAGER (  ) 

Definition at line 609 of file pqs_cg.cxx.

References OP_MAP_Delete(), and TN_MAP_Delete().

PQS_MANAGER::~PQS_MANAGER (  ) 

PQS_MANAGER::~PQS_MANAGER (  ) 

PQS_MANAGER::~PQS_MANAGER (  ) 

Member Function/Subroutine Documentation

BOOL PQS_MANAGER::PQS_is_disjoint_helper ( PQS_NODE_IDX  tni2,
PQS_TN  tn2 
) [private]

Definition at line 671 of file pqs.cxx.

References BOOL, FALSE, Is_Marked(), Is_Marked1(), Is_Marked2(), may_set_TRUE(), never_true_together(), PQS_Is_Real_Idx, PQS_NODE_get_out_pred1(), PQS_NODE_get_out_pred2(), PQS_NODE_get_qual_pred(), PQS_NODE_get_qual_tn(), PQS_NODE_get_up_idx(), PQS_TRUTH_ALWAYS, PQS_TRUTH_NEVER, PQS_TRUTH_POSSIBLE, result, and TRUE.

Referenced by PQS_is_disjoint_h().

PQS_TRUTH PQS_MANAGER::never_true_together ( PQS_TN  t1,
PQS_TN  t2,
PQS_NODE_IDX  tni 
) [private]

Definition at line 600 of file pqs.cxx.

References always_set_FALSE(), FmtAssert, Is_True, PQS_IDX_TRUE, PQS_ITYPE_AND, PQS_ITYPE_ANDCM, PQS_ITYPE_ANDORCM, PQS_ITYPE_NORM, PQS_ITYPE_OR, PQS_ITYPE_ORANDCM, PQS_ITYPE_ORCM, PQS_ITYPE_UNC, PQS_NODE_condition_false(), PQS_NODE_condition_true(), PQS_NODE_get_itype(), PQS_NODE_get_out_pred1(), PQS_NODE_get_out_pred2(), PQS_NODE_get_qual_pred(), PQS_TRUTH_ALWAYS, PQS_TRUTH_NEVER, PQS_TRUTH_POSSIBLE, PQS_TRUTH_UNKNOWN, and printf().

Referenced by PQS_is_disjoint_h(), and PQS_is_disjoint_helper().

BOOL PQS_MANAGER::may_set_TRUE ( PQS_NODE_IDX  tni,
PQS_TN  tn 
) [private]

Definition at line 236 of file pqs.cxx.

References get_truth_info(), INT32, and TRUTH_MAY_SET_TRUE.

Referenced by PQS_is_disjoint_helper(), PQS_is_subset_of(), and PQS_Mark_TN_Parents_TRUE().

BOOL PQS_MANAGER::may_set_FALSE ( PQS_NODE_IDX  tni,
PQS_TN  tn 
) [private]

Definition at line 243 of file pqs.cxx.

References get_truth_info(), INT32, and TRUTH_MAY_SET_FALSE.

BOOL PQS_MANAGER::always_set_TRUE ( PQS_NODE_IDX  tni,
PQS_TN  tn 
) [private]

Definition at line 264 of file pqs.cxx.

References get_truth_info(), INT32, and TRUTH_ALWAYS_SET_TRUE.

Referenced by PQS_is_subset_of(), and Simplify_In_Set().

BOOL PQS_MANAGER::always_set_FALSE ( PQS_NODE_IDX  tni,
PQS_TN  tn 
) [private]

Definition at line 271 of file pqs.cxx.

References get_truth_info(), INT32, and TRUTH_ALWAYS_SET_FALSE.

Referenced by never_true_together(), and PQS_is_subset_of().

BOOL PQS_MANAGER::never_set_TRUE ( PQS_NODE_IDX  tni,
PQS_TN  tn 
) [private]

Definition at line 250 of file pqs.cxx.

References get_truth_info(), INT32, and TRUTH_NEVER_SET_TRUE.

Referenced by Simplify_In_Set().

BOOL PQS_MANAGER::never_set_FALSE ( PQS_NODE_IDX  tni,
PQS_TN  tn 
) [private]

Definition at line 257 of file pqs.cxx.

References get_truth_info(), INT32, and TRUTH_NEVER_SET_FALSE.

Referenced by Simplify_In_Set().

BOOL PQS_MANAGER::may_set_TRUE ( INT32  truth  )  [private]

Definition at line 278 of file pqs.cxx.

References TRUTH_MAY_SET_TRUE.

BOOL PQS_MANAGER::may_set_FALSE ( INT32  truth  )  [private]

Definition at line 284 of file pqs.cxx.

References TRUTH_MAY_SET_FALSE.

BOOL PQS_MANAGER::never_set_TRUE ( INT32  truth  )  [private]

Definition at line 290 of file pqs.cxx.

References TRUTH_NEVER_SET_TRUE.

BOOL PQS_MANAGER::never_set_FALSE ( INT32  truth  )  [private]

Definition at line 296 of file pqs.cxx.

References TRUTH_NEVER_SET_FALSE.

BOOL PQS_MANAGER::always_set_TRUE ( INT32  truth  )  [private]

Definition at line 302 of file pqs.cxx.

References TRUTH_ALWAYS_SET_TRUE.

BOOL PQS_MANAGER::always_set_FALSE ( INT32  truth  )  [private]

Definition at line 308 of file pqs.cxx.

References TRUTH_ALWAYS_SET_FALSE.

BOOL PQS_MANAGER::qual_always_true ( INT32  truth  )  [private]

Definition at line 314 of file pqs.cxx.

References TRUTH_QUAL_PRED_TRUE.

Referenced by PQS_is_subset_of().

INT32 PQS_MANAGER::get_truth_info ( PQS_NODE_IDX  tni,
PQS_TN  tn 
) [private]

Definition at line 360 of file pqs.cxx.

References BOOL, FmtAssert, INT32, PQS_IDX_TRUE, PQS_ITYPE_AND, PQS_ITYPE_ANDCM, PQS_ITYPE_ANDORCM, PQS_ITYPE_DIVSQRT, PQS_ITYPE_NORM, PQS_ITYPE_OR, PQS_ITYPE_ORANDCM, PQS_ITYPE_ORCM, PQS_ITYPE_UNC, PQS_NODE_condition_false(), PQS_NODE_condition_true(), PQS_NODE_get_1_2(), PQS_NODE_get_itype(), PQS_NODE_get_qual_pred(), result, SET_RESULT, SET_RESULT12, TRUTH_ALWAYS_SET_FALSE, TRUTH_ALWAYS_SET_TRUE, TRUTH_MAY_SET_FALSE, TRUTH_MAY_SET_TRUE, TRUTH_NEVER_SET_FALSE, TRUTH_NEVER_SET_TRUE, TRUTH_QUAL_PRED_TRUE, and TRUTH_UNKNOWN.

Referenced by always_set_FALSE(), always_set_TRUE(), may_set_FALSE(), may_set_TRUE(), never_set_FALSE(), never_set_TRUE(), PQS_is_subset_of(), and Simplify_In_Set().

BOOL PQS_MANAGER::PQS_is_subset_of ( PQS_NODE_IDX  tni1,
PQS_TN  tn1,
PQS_NODE_IDX  tni2,
PQS_TN  tn2 
) [private]

Definition at line 860 of file pqs.cxx.

References always_set_FALSE(), always_set_TRUE(), BOOL, FALSE, get_truth_info(), INT32, may_set_TRUE(), PQS_IDX_FALSE, PQS_IDX_TRUE, PQS_Is_Real_Idx, PQS_ITYPE_sets_unconditionally(), PQS_NODE_get_itype(), PQS_NODE_get_qual_pred(), PQS_NODE_get_qual_tn(), PQS_NODE_get_up_idx(), qual_always_true(), and TRUE.

Referenced by PQS_is_subset_of(), and PQSCG_is_subset_of().

BOOL PQS_MANAGER::PQS_is_subset_of ( PQS_NODE_IDX  tni1,
PQS_TN  tn1,
PQS_TN_SET &  tns2 
) [private]

Definition at line 909 of file pqs.cxx.

References always_set_FALSE(), always_set_TRUE(), BOOL, FALSE, get_truth_info(), INT32, PQS_SET< T, C >::Is_Subset(), may_set_TRUE(), PQS_Is_Real_Idx, PQS_is_subset_of(), PQS_ITYPE_sets_unconditionally(), PQS_NODE_get_itype(), PQS_NODE_get_qual_pred(), PQS_NODE_get_qual_tn(), PQS_NODE_get_up_idx(), PQS_TN_P0, qual_always_true(), and TRUE.

BOOL PQS_MANAGER::PQS_is_disjoint ( PQS_NODE_IDX  tni1,
PQS_NODE_IDX  tni2,
PQS_TN  tn1,
PQS_TN  tn2 
) [private]

Definition at line 761 of file pqs.cxx.

References BOOL, FALSE, fprintf(), PQS_IDX_TRUE, PQS_is_disjoint_h(), PQS_Tracing, r, TFile, and TN_number.

Referenced by PQS_is_disjoint(), and PQSCG_is_disjoint().

BOOL PQS_MANAGER::PQS_is_disjoint_h ( PQS_NODE_IDX  tni1,
PQS_NODE_IDX  tni2,
PQS_TN  tn1,
PQS_TN  tn2 
) [private]

Definition at line 777 of file pqs.cxx.

References FALSE, never_true_together(), PQS_IDX_FALSE, PQS_IDX_INVALID, PQS_IDX_TRUE, PQS_is_disjoint_helper(), PQS_Mark_TN_Parents_TRUE(), PQS_TRUTH_ALWAYS, PQS_TRUTH_NEVER, TRUE, and Update_Marker().

Referenced by PQS_is_disjoint().

void PQS_MANAGER::PQS_Mark_TN_Parents_TRUE ( PQS_NODE_IDX  tni,
PQS_TN  tn 
) [private]

Definition at line 459 of file pqs.cxx.

References may_set_TRUE(), PQS_Is_Real_Idx, PQS_NODE_get_qual_pred(), PQS_NODE_get_qual_tn(), PQS_NODE_get_up_idx(), and PQS_NODE_Mark().

Referenced by PQS_is_disjoint_h(), and PQS_Mark_TN_Parents_TRUE().

void PQS_MANAGER::PQS_Mark_TN_Parents_TRUE ( PQS_TN  tn  )  [private]

Definition at line 485 of file pqs.cxx.

References PQS_Mark_TN_Parents_TRUE(), and PQS_TN_get_last_definition().

PQS_TN_SET PQS_MANAGER::Simplify_TN_Set ( const PQS_TN_SET &  tn_in  )  [private]

Definition at line 1060 of file pqs.cxx.

References PQS_SET< T, C >::begin(), PQS_SET< T, C >::end(), PQS_SET< T, C >::Insert(), PQS_SET< T, C >::Is_Subset(), PQS_IDX_TRUE, PQS_TN_get_last_definition(), PQS_TN_get_tn_to_use(), PQS_TN_P0, PQS_TNI_IDX, PQS_TNI_TN, q, result, and Simplify_TNI_Set().

Referenced by PQS_is_subset_of().

void PQS_MANAGER::Simplify_TNI_Set ( PQS_TNI_SET &  tni_in  )  [private]

Definition at line 1113 of file pqs.cxx.

References PQS_SET< T, C >::_set, BOOL, FALSE, PQS_TNI_IDX, PQS_TNI_TN, and Simplify_In_Set().

Referenced by Simplify_TN_Set().

BOOL PQS_MANAGER::Simplify_In_Set ( PQS_NODE_IDX  tni,
PQS_TN  tn,
PQS_TNI_SET &  tnis 
) [private]

Definition at line 1134 of file pqs.cxx.

References always_set_TRUE(), BOOL, PQS_SET< T, C >::Clear(), FALSE, get_truth_info(), PQS_SET< T, C >::Insert(), INT32, PQS_SET< T, C >::Is_Subset(), never_set_FALSE(), never_set_TRUE(), NULL, PQS_IDX_INVALID, PQS_IDX_NONE, PQS_IDX_TRUE, PQS_ITYPE_NORM, PQS_ITYPE_sets_unconditionally(), PQS_ITYPE_UNC, PQS_NODE_get_itype(), PQS_NODE_get_other_tn(), PQS_NODE_get_qual_pred(), PQS_NODE_get_qual_tn(), PQS_NODE_get_up_idx(), PQS_TN_P0, prev, and TRUE.

Referenced by Simplify_TNI_Set().

void PQS_MANAGER::Init_TN_OP_Info ( void   )  [private]

Definition at line 589 of file pqs_cg.cxx.

References CXX_NEW, PQS_TN_MAP_TYPE::last_def, OP_MAP32_Create, PQS_IDX_TRUE, PQS_mem_pool, PQS_TN_P0, TN_MAP_Create(), TN_MAP_Set(), and True_TN.

_data PQS_MANAGER::push_back ( dummy   ) 

PQS_MANAGER::Init_TN_OP_Info (  ) 

PQS_MARKER_TYPE PQS_MANAGER::Current_Marker (  )  [inline]

Definition at line 212 of file pqs.h.

References _mark_number.

void PQS_MANAGER::Update_Marker ( void   )  [inline]

Definition at line 213 of file pqs.h.

References _mark_number.

Referenced by PQS_is_disjoint_h().

void PQS_MANAGER::Set_Manager_Marker ( PQS_MARKER_TYPE  mark  )  [inline]

Definition at line 214 of file pqs.h.

References _mark_number.

PQS_NODE_IDX PQS_MANAGER::New_pqs_idx ( PQS_ITYPE  itype,
PQS_OP  inst 
) [inline]

Definition at line 176 of file pqs.cxx.

References _data.

Referenced by PQS_Add_Instruction().

void PQS_MANAGER::PQS_NODE_set_out_pred1 ( PQS_NODE_IDX  i,
PQS_TN  p1 
) [inline]

Definition at line 219 of file pqs.h.

References _data.

Referenced by PQS_Add_Instruction().

void PQS_MANAGER::PQS_NODE_set_itype ( PQS_NODE_IDX  i,
PQS_ITYPE  itype 
) [inline]

Definition at line 220 of file pqs.h.

References _data.

Referenced by PQS_Add_Instruction().

void PQS_MANAGER::PQS_NODE_set_out_pred2 ( PQS_NODE_IDX  i,
PQS_TN  p2 
) [inline]

Definition at line 221 of file pqs.h.

References _data.

Referenced by PQS_Add_Instruction().

void PQS_MANAGER::PQS_NODE_set_in_pred1 ( PQS_NODE_IDX  i,
PQS_NODE_IDX  p1 
) [inline]

Definition at line 222 of file pqs.h.

References _data.

Referenced by PQS_Add_Instruction().

void PQS_MANAGER::PQS_NODE_set_in_pred2 ( PQS_NODE_IDX  i,
PQS_NODE_IDX  p2 
) [inline]

Definition at line 223 of file pqs.h.

References _data.

Referenced by PQS_Add_Instruction().

void PQS_MANAGER::PQS_NODE_set_qual_pred ( PQS_NODE_IDX  i,
PQS_NODE_IDX  p1 
) [inline]

Definition at line 224 of file pqs.h.

References _data.

Referenced by PQS_Add_Instruction().

void PQS_MANAGER::PQS_NODE_set_qual_tn ( PQS_NODE_IDX  i,
PQS_TN  t 
) [inline]

Definition at line 225 of file pqs.h.

References _data.

Referenced by PQS_Add_Instruction().

void PQS_MANAGER::PQS_NODE_add_use ( PQS_NODE_IDX  i,
PQS_TN  p,
PQS_NODE_IDX  use 
) [inline]

Definition at line 226 of file pqs.h.

References _data, and PQS_Is_Real_Idx.

Referenced by PQS_Add_Instruction().

void PQS_MANAGER::PQS_NODE_Mark ( PQS_NODE_IDX  i  )  [inline]

Definition at line 229 of file pqs.h.

References _data, and _mark_number.

Referenced by PQS_Mark_TN_Parents_TRUE().

void PQS_MANAGER::PQS_NODE_Mark ( PQS_NODE_IDX  i,
PQS_TN  t 
) [inline]

Definition at line 233 of file pqs.h.

References _data, and _mark_number.

void PQS_MANAGER::PQS_NODE_set_flags ( PQS_NODE_IDX  i,
PQS_NODE_FLAGS  f 
) [inline]

Definition at line 238 of file pqs.h.

References _data.

Referenced by PQS_Add_Instruction().

void PQS_MANAGER::PQS_NODE_set_condition_true ( PQS_NODE_IDX  i  )  [inline]

Definition at line 239 of file pqs.h.

References _data, and PQS_FLAG_CONDITION_TRUE.

void PQS_MANAGER::PQS_NODE_set_condition_false ( PQS_NODE_IDX  i  )  [inline]

Definition at line 240 of file pqs.h.

References _data, and PQS_FLAG_CONDITION_FALSE.

PQS_OP PQS_MANAGER::PQS_NODE_get_op ( PQS_NODE_IDX  i  )  [inline]

Definition at line 244 of file pqs.h.

References _data.

PQS_ITYPE PQS_MANAGER::PQS_NODE_get_itype ( PQS_NODE_IDX  i  )  [inline]

Definition at line 245 of file pqs.h.

References _data.

Referenced by get_truth_info(), never_true_together(), PQS_is_subset_of(), and Simplify_In_Set().

PQS_TN PQS_MANAGER::PQS_NODE_get_out_pred1 ( PQS_NODE_IDX  i  )  [inline]

Definition at line 246 of file pqs.h.

References _data.

Referenced by never_true_together(), PQS_is_disjoint_helper(), PQS_NODE_get_1_2(), PQS_NODE_get_other_tn(), and PQS_NODE_get_up_idx().

PQS_TN PQS_MANAGER::PQS_NODE_get_out_pred2 ( PQS_NODE_IDX  i  )  [inline]

Definition at line 247 of file pqs.h.

References _data.

Referenced by never_true_together(), PQS_is_disjoint_helper(), PQS_NODE_get_1_2(), PQS_NODE_get_other_tn(), and PQS_NODE_get_up_idx().

PQS_NODE_IDX PQS_MANAGER::PQS_NODE_get_in_pred1 ( PQS_NODE_IDX  i  )  [inline]

Definition at line 248 of file pqs.h.

References _data.

Referenced by PQS_NODE_get_up_idx().

PQS_NODE_IDX PQS_MANAGER::PQS_NODE_get_in_pred2 ( PQS_NODE_IDX  i  )  [inline]

Definition at line 249 of file pqs.h.

References _data.

Referenced by PQS_NODE_get_up_idx().

PQS_TN PQS_MANAGER::PQS_NODE_get_qual_tn ( PQS_NODE_IDX  i  )  [inline]

Definition at line 250 of file pqs.h.

References _data.

Referenced by PQS_is_disjoint_helper(), PQS_is_subset_of(), PQS_Mark_TN_Parents_TRUE(), and Simplify_In_Set().

PQS_NODE_IDX PQS_MANAGER::PQS_NODE_get_qual_pred ( PQS_NODE_IDX  i  )  [inline]

Definition at line 251 of file pqs.h.

References _data.

Referenced by get_truth_info(), never_true_together(), PQS_is_disjoint_helper(), PQS_is_subset_of(), PQS_Mark_TN_Parents_TRUE(), and Simplify_In_Set().

INT32 PQS_MANAGER::PQS_NODE_num_use1 ( PQS_NODE_IDX  i  )  [inline]

Definition at line 252 of file pqs.h.

References _data.

INT32 PQS_MANAGER::PQS_NODE_num_use2 ( PQS_NODE_IDX  i  )  [inline]

Definition at line 253 of file pqs.h.

References _data.

PQS_NODE_IDX PQS_MANAGER::PQS_NODE_get_use1 ( PQS_NODE_IDX  i,
INT32  num 
) [inline]

Definition at line 254 of file pqs.h.

References _data.

PQS_NODE_IDX PQS_MANAGER::PQS_NODE_get_use2 ( PQS_NODE_IDX  i,
INT32  num 
) [inline]

Definition at line 255 of file pqs.h.

References _data.

BOOL PQS_MANAGER::Is_Marked ( PQS_NODE_IDX  i  )  [inline]

Definition at line 256 of file pqs.h.

References _data, and _mark_number.

Referenced by PQS_is_disjoint_helper().

BOOL PQS_MANAGER::Is_Marked1 ( PQS_NODE_IDX  i  )  [inline]

Definition at line 259 of file pqs.h.

References _data, and _mark_number.

Referenced by PQS_is_disjoint_helper().

BOOL PQS_MANAGER::Is_Marked2 ( PQS_NODE_IDX  i  )  [inline]

Definition at line 260 of file pqs.h.

References _data, and _mark_number.

Referenced by PQS_is_disjoint_helper().

PQS_MARKER_TYPE PQS_MANAGER::PQS_NODE_get_marker ( PQS_NODE_IDX  i,
INT32  num 
) [inline]

Definition at line 262 of file pqs.h.

References _data.

PQS_NODE_FLAGS PQS_MANAGER::PQS_NODE_get_flags ( PQS_NODE_IDX  i  )  [inline]

Definition at line 266 of file pqs.h.

References _data.

BOOL PQS_MANAGER::PQS_NODE_condition_true ( PQS_NODE_IDX  i  )  [inline]

Definition at line 267 of file pqs.h.

References _data, flags, and PQS_FLAG_CONDITION_TRUE.

Referenced by get_truth_info(), and never_true_together().

BOOL PQS_MANAGER::PQS_NODE_condition_false ( PQS_NODE_IDX  i  )  [inline]

Definition at line 268 of file pqs.h.

References _data, flags, and PQS_FLAG_CONDITION_FALSE.

Referenced by get_truth_info(), and never_true_together().

PQS_NODE_IDX PQS_MANAGER::PQS_NODE_get_up_idx ( PQS_NODE_IDX  i,
PQS_TN  t 
) [inline]

Definition at line 274 of file pqs.h.

References FmtAssert, PQS_IDX_INVALID, PQS_NODE_get_in_pred1(), PQS_NODE_get_in_pred2(), PQS_NODE_get_out_pred1(), and PQS_NODE_get_out_pred2().

Referenced by PQS_is_disjoint_helper(), PQS_is_subset_of(), PQS_Mark_TN_Parents_TRUE(), and Simplify_In_Set().

INT32 PQS_MANAGER::PQS_NODE_get_1_2 ( PQS_NODE_IDX  i,
PQS_TN  t 
) [inline]

Definition at line 288 of file pqs.h.

References FmtAssert, PQS_NODE_get_out_pred1(), and PQS_NODE_get_out_pred2().

Referenced by get_truth_info().

PQS_TN PQS_MANAGER::PQS_NODE_get_other_tn ( PQS_NODE_IDX  i,
PQS_TN  t 
) [inline]

Definition at line 299 of file pqs.h.

References FmtAssert, PQS_NODE_get_out_pred1(), and PQS_NODE_get_out_pred2().

Referenced by Simplify_In_Set().

void PQS_MANAGER::Print_all ( FILE *  f = stdout  ) 

Definition at line 1228 of file pqs.cxx.

References _data, fprintf(), i, and Print_idx().

Referenced by PQSCG_init().

void PQS_MANAGER::Print_idx ( PQS_NODE_IDX  idx,
FILE *  f = stdout 
)

Definition at line 1239 of file pqs.cxx.

References _data, and fprintf().

Referenced by dump_idx(), and Print_all().

BOOL PQS_MANAGER::PQS_is_disjoint ( PQS_TN  tn1,
PQS_TN  tn2 
)

Definition at line 812 of file pqs.cxx.

References FALSE, PQS_is_disjoint(), PQS_TN_get_last_definition(), PQS_TN_get_tn_to_use(), and PQS_TN_no_query().

BOOL PQS_MANAGER::PQS_is_disjoint ( PQS_TN_SET &  tns1,
PQS_TN_SET &  tns2 
)

Definition at line 825 of file pqs.cxx.

References PQS_SET< T, C >::_set, BOOL, check_for_unqueriable(), FALSE, PQS_is_disjoint(), PQS_TN_get_last_definition(), q, result, and TRUE.

BOOL PQS_MANAGER::PQS_is_subset_of ( PQS_TN  tn1,
PQS_TN  tn2 
)

Definition at line 950 of file pqs.cxx.

References BOOL, FALSE, fprintf(), PQS_is_subset_of(), PQS_TN_get_last_definition(), PQS_TN_get_tn_to_use(), PQS_TN_no_query(), PQS_Tracing, result, TFile, and TN_number.

BOOL PQS_MANAGER::PQS_is_subset_of ( PQS_TN  tn1,
PQS_TN_SET &  tns2 
)

Definition at line 974 of file pqs.cxx.

References BOOL, check_for_unqueriable(), FALSE, fprintf(), PQS_is_subset_of(), PQS_TN_get_last_definition(), PQS_TN_get_tn_to_use(), PQS_TN_no_query(), PQS_Tracing, PQS_SET< T, C >::Print(), result, Simplify_TN_Set(), TFile, and TN_number.

BOOL PQS_MANAGER::PQS_is_subset_of ( PQS_TN_SET &  tns1,
PQS_TN_SET &  tns2 
)

Definition at line 1005 of file pqs.cxx.

References PQS_SET< T, C >::_set, BOOL, check_for_unqueriable(), FALSE, fprintf(), PQS_is_subset_of(), PQS_TN_get_last_definition(), PQS_TN_get_tn_to_use(), PQS_Tracing, PQS_SET< T, C >::Print(), result, Simplify_TN_Set(), TFile, and TRUE.

PQS_NODE_IDX PQS_MANAGER::PQS_Add_Instruction ( PQS_OP  inst  ) 

Definition at line 517 of file pqs.cxx.

References flags, New_pqs_idx(), p1, p2, PQS_classify_instruction(), PQS_IDX_NONE, PQS_IDX_TRUE, PQS_ITYPE_NOPREDICATES, PQS_ITYPE_NORM, PQS_ITYPE_sets_unconditionally(), PQS_ITYPE_UNC, PQS_NODE_add_use(), PQS_NODE_set_flags(), PQS_NODE_set_in_pred1(), PQS_NODE_set_in_pred2(), PQS_NODE_set_itype(), PQS_NODE_set_out_pred1(), PQS_NODE_set_out_pred2(), PQS_NODE_set_qual_pred(), PQS_NODE_set_qual_tn(), PQS_OP_set_pqs_idx(), PQS_TN_get_last_definition(), PQS_TN_P0, PQS_TN_set_last_definition(), PQS_TN_set_no_query(), PQS_TN_set_used_as_qual_pred(), and PQS_TN_used_as_qual_pred().

Referenced by PQSCG_add_instruction(), and PQSCG_init().

BOOL PQS_MANAGER::PQS_is_disjoint_helper ( PQS_NODE_IDX  tni2,
PQS_TN  tn2 
) [private]

PQS_TRUTH PQS_MANAGER::never_true_together ( PQS_TN  t1,
PQS_TN  t2,
PQS_NODE_IDX  tni 
) [private]

BOOL PQS_MANAGER::may_set_TRUE ( PQS_NODE_IDX  tni,
PQS_TN  tn 
) [private]

BOOL PQS_MANAGER::may_set_FALSE ( PQS_NODE_IDX  tni,
PQS_TN  tn 
) [private]

BOOL PQS_MANAGER::always_set_TRUE ( PQS_NODE_IDX  tni,
PQS_TN  tn 
) [private]

BOOL PQS_MANAGER::always_set_FALSE ( PQS_NODE_IDX  tni,
PQS_TN  tn 
) [private]

BOOL PQS_MANAGER::never_set_TRUE ( PQS_NODE_IDX  tni,
PQS_TN  tn 
) [private]

BOOL PQS_MANAGER::never_set_FALSE ( PQS_NODE_IDX  tni,
PQS_TN  tn 
) [private]

BOOL PQS_MANAGER::may_set_TRUE ( INT32  truth  )  [private]

BOOL PQS_MANAGER::may_set_FALSE ( INT32  truth  )  [private]

BOOL PQS_MANAGER::never_set_TRUE ( INT32  truth  )  [private]

BOOL PQS_MANAGER::never_set_FALSE ( INT32  truth  )  [private]

BOOL PQS_MANAGER::always_set_TRUE ( INT32  truth  )  [private]

BOOL PQS_MANAGER::always_set_FALSE ( INT32  truth  )  [private]

BOOL PQS_MANAGER::qual_always_true ( INT32  truth  )  [private]

INT32 PQS_MANAGER::get_truth_info ( PQS_NODE_IDX  tni,
PQS_TN  tn 
) [private]

BOOL PQS_MANAGER::PQS_is_subset_of ( PQS_NODE_IDX  tni1,
PQS_TN  tn1,
PQS_NODE_IDX  tni2,
PQS_TN  tn2 
) [private]

BOOL PQS_MANAGER::PQS_is_subset_of ( PQS_NODE_IDX  tni1,
PQS_TN  tn1,
PQS_TN_SET &  tns2 
) [private]

BOOL PQS_MANAGER::PQS_is_disjoint ( PQS_NODE_IDX  tni1,
PQS_NODE_IDX  tni2,
PQS_TN  tn1,
PQS_TN  tn2 
) [private]

BOOL PQS_MANAGER::PQS_is_disjoint_h ( PQS_NODE_IDX  tni1,
PQS_NODE_IDX  tni2,
PQS_TN  tn1,
PQS_TN  tn2 
) [private]

void PQS_MANAGER::PQS_Mark_TN_Parents_TRUE ( PQS_NODE_IDX  tni,
PQS_TN  tn 
) [private]

void PQS_MANAGER::PQS_Mark_TN_Parents_TRUE ( PQS_TN  tn  )  [private]

PQS_TN_SET PQS_MANAGER::Simplify_TN_Set ( const PQS_TN_SET &  tn_in  )  [private]

void PQS_MANAGER::Simplify_TNI_Set ( PQS_TNI_SET &  tni_in  )  [private]

BOOL PQS_MANAGER::Simplify_In_Set ( PQS_NODE_IDX  tni,
PQS_TN  tn,
PQS_TNI_SET &  tnis 
) [private]

void PQS_MANAGER::Init_TN_OP_Info ( void   )  [private]

_data PQS_MANAGER::push_back ( dummy   ) 

PQS_MANAGER::Init_TN_OP_Info (  ) 

PQS_MARKER_TYPE PQS_MANAGER::Current_Marker (  )  [inline]

Definition at line 212 of file pqs.h.

References _mark_number.

void PQS_MANAGER::Update_Marker ( void   )  [inline]

Definition at line 213 of file pqs.h.

References _mark_number.

void PQS_MANAGER::Set_Manager_Marker ( PQS_MARKER_TYPE  mark  )  [inline]

Definition at line 214 of file pqs.h.

References _mark_number.

PQS_NODE_IDX PQS_MANAGER::New_pqs_idx ( PQS_ITYPE  itype,
PQS_OP  inst 
) [inline]

void PQS_MANAGER::PQS_NODE_set_out_pred1 ( PQS_NODE_IDX  i,
PQS_TN  p1 
) [inline]

Definition at line 219 of file pqs.h.

References _data.

void PQS_MANAGER::PQS_NODE_set_itype ( PQS_NODE_IDX  i,
PQS_ITYPE  itype 
) [inline]

Definition at line 220 of file pqs.h.

References _data.

void PQS_MANAGER::PQS_NODE_set_out_pred2 ( PQS_NODE_IDX  i,
PQS_TN  p2 
) [inline]

Definition at line 221 of file pqs.h.

References _data.

void PQS_MANAGER::PQS_NODE_set_in_pred1 ( PQS_NODE_IDX  i,
PQS_NODE_IDX  p1 
) [inline]

Definition at line 222 of file pqs.h.

References _data.

void PQS_MANAGER::PQS_NODE_set_in_pred2 ( PQS_NODE_IDX  i,
PQS_NODE_IDX  p2 
) [inline]

Definition at line 223 of file pqs.h.

References _data.

void PQS_MANAGER::PQS_NODE_set_qual_pred ( PQS_NODE_IDX  i,
PQS_NODE_IDX  p1 
) [inline]

Definition at line 224 of file pqs.h.

References _data.

void PQS_MANAGER::PQS_NODE_set_qual_tn ( PQS_NODE_IDX  i,
PQS_TN  t 
) [inline]

Definition at line 225 of file pqs.h.

References _data.

void PQS_MANAGER::PQS_NODE_add_use ( PQS_NODE_IDX  i,
PQS_TN  p,
PQS_NODE_IDX  use 
) [inline]

Definition at line 226 of file pqs.h.

References _data, and PQS_Is_Real_Idx.

void PQS_MANAGER::PQS_NODE_Mark ( PQS_NODE_IDX  i  )  [inline]

Definition at line 229 of file pqs.h.

References _data, and _mark_number.

void PQS_MANAGER::PQS_NODE_Mark ( PQS_NODE_IDX  i,
PQS_TN  t 
) [inline]

Definition at line 233 of file pqs.h.

References _data, and _mark_number.

void PQS_MANAGER::PQS_NODE_set_flags ( PQS_NODE_IDX  i,
PQS_NODE_FLAGS  f 
) [inline]

Definition at line 238 of file pqs.h.

References _data.

void PQS_MANAGER::PQS_NODE_set_condition_true ( PQS_NODE_IDX  i  )  [inline]

Definition at line 239 of file pqs.h.

References _data, and PQS_FLAG_CONDITION_TRUE.

void PQS_MANAGER::PQS_NODE_set_condition_false ( PQS_NODE_IDX  i  )  [inline]

Definition at line 240 of file pqs.h.

References _data, and PQS_FLAG_CONDITION_FALSE.

PQS_OP PQS_MANAGER::PQS_NODE_get_op ( PQS_NODE_IDX  i  )  [inline]

Definition at line 244 of file pqs.h.

References _data.

PQS_ITYPE PQS_MANAGER::PQS_NODE_get_itype ( PQS_NODE_IDX  i  )  [inline]

Definition at line 245 of file pqs.h.

References _data.

PQS_TN PQS_MANAGER::PQS_NODE_get_out_pred1 ( PQS_NODE_IDX  i  )  [inline]

Definition at line 246 of file pqs.h.

References _data.

PQS_TN PQS_MANAGER::PQS_NODE_get_out_pred2 ( PQS_NODE_IDX  i  )  [inline]

Definition at line 247 of file pqs.h.

References _data.

PQS_NODE_IDX PQS_MANAGER::PQS_NODE_get_in_pred1 ( PQS_NODE_IDX  i  )  [inline]

Definition at line 248 of file pqs.h.

References _data.

PQS_NODE_IDX PQS_MANAGER::PQS_NODE_get_in_pred2 ( PQS_NODE_IDX  i  )  [inline]

Definition at line 249 of file pqs.h.

References _data.

PQS_TN PQS_MANAGER::PQS_NODE_get_qual_tn ( PQS_NODE_IDX  i  )  [inline]

Definition at line 250 of file pqs.h.

References _data.

PQS_NODE_IDX PQS_MANAGER::PQS_NODE_get_qual_pred ( PQS_NODE_IDX  i  )  [inline]

Definition at line 251 of file pqs.h.

References _data.

INT32 PQS_MANAGER::PQS_NODE_num_use1 ( PQS_NODE_IDX  i  )  [inline]

Definition at line 252 of file pqs.h.

References _data.

INT32 PQS_MANAGER::PQS_NODE_num_use2 ( PQS_NODE_IDX  i  )  [inline]

Definition at line 253 of file pqs.h.

References _data.

PQS_NODE_IDX PQS_MANAGER::PQS_NODE_get_use1 ( PQS_NODE_IDX  i,
INT32  num 
) [inline]

Definition at line 254 of file pqs.h.

References _data.

PQS_NODE_IDX PQS_MANAGER::PQS_NODE_get_use2 ( PQS_NODE_IDX  i,
INT32  num 
) [inline]

Definition at line 255 of file pqs.h.

References _data.

BOOL PQS_MANAGER::Is_Marked ( PQS_NODE_IDX  i  )  [inline]

Definition at line 256 of file pqs.h.

References _data, and _mark_number.

BOOL PQS_MANAGER::Is_Marked1 ( PQS_NODE_IDX  i  )  [inline]

Definition at line 259 of file pqs.h.

References _data, and _mark_number.

BOOL PQS_MANAGER::Is_Marked2 ( PQS_NODE_IDX  i  )  [inline]

Definition at line 260 of file pqs.h.

References _data, and _mark_number.

PQS_MARKER_TYPE PQS_MANAGER::PQS_NODE_get_marker ( PQS_NODE_IDX  i,
INT32  num 
) [inline]

Definition at line 262 of file pqs.h.

References _data.

PQS_NODE_FLAGS PQS_MANAGER::PQS_NODE_get_flags ( PQS_NODE_IDX  i  )  [inline]

Definition at line 266 of file pqs.h.

References _data.

BOOL PQS_MANAGER::PQS_NODE_condition_true ( PQS_NODE_IDX  i  )  [inline]

Definition at line 267 of file pqs.h.

References _data, flags, and PQS_FLAG_CONDITION_TRUE.

BOOL PQS_MANAGER::PQS_NODE_condition_false ( PQS_NODE_IDX  i  )  [inline]

Definition at line 268 of file pqs.h.

References _data, flags, and PQS_FLAG_CONDITION_FALSE.

PQS_NODE_IDX PQS_MANAGER::PQS_NODE_get_up_idx ( PQS_NODE_IDX  i,
PQS_TN  t 
) [inline]

Definition at line 274 of file pqs.h.

References FmtAssert, PQS_IDX_INVALID, PQS_NODE_get_in_pred1(), PQS_NODE_get_in_pred2(), PQS_NODE_get_out_pred1(), and PQS_NODE_get_out_pred2().

INT32 PQS_MANAGER::PQS_NODE_get_1_2 ( PQS_NODE_IDX  i,
PQS_TN  t 
) [inline]

Definition at line 288 of file pqs.h.

References FmtAssert, PQS_NODE_get_out_pred1(), and PQS_NODE_get_out_pred2().

PQS_TN PQS_MANAGER::PQS_NODE_get_other_tn ( PQS_NODE_IDX  i,
PQS_TN  t 
) [inline]

Definition at line 299 of file pqs.h.

References FmtAssert, PQS_NODE_get_out_pred1(), and PQS_NODE_get_out_pred2().

void PQS_MANAGER::Print_all ( FILE *  f = stdout  ) 

void PQS_MANAGER::Print_idx ( PQS_NODE_IDX  idx,
FILE *  f = stdout 
)

BOOL PQS_MANAGER::PQS_is_disjoint ( PQS_TN  tn1,
PQS_TN  tn2 
)

BOOL PQS_MANAGER::PQS_is_disjoint ( PQS_TN_SET &  tns1,
PQS_TN_SET &  tns2 
)

BOOL PQS_MANAGER::PQS_is_subset_of ( PQS_TN  tn1,
PQS_TN  tn2 
)

BOOL PQS_MANAGER::PQS_is_subset_of ( PQS_TN  tn1,
PQS_TN_SET &  tns2 
)

BOOL PQS_MANAGER::PQS_is_subset_of ( PQS_TN_SET &  tns1,
PQS_TN_SET &  tns2 
)

PQS_NODE_IDX PQS_MANAGER::PQS_Add_Instruction ( PQS_OP  inst  ) 

BOOL PQS_MANAGER::PQS_is_disjoint_helper ( PQS_NODE_IDX  tni2,
PQS_TN  tn2 
) [private]

PQS_TRUTH PQS_MANAGER::never_true_together ( PQS_TN  t1,
PQS_TN  t2,
PQS_NODE_IDX  tni 
) [private]

BOOL PQS_MANAGER::may_set_TRUE ( PQS_NODE_IDX  tni,
PQS_TN  tn 
) [private]

BOOL PQS_MANAGER::may_set_FALSE ( PQS_NODE_IDX  tni,
PQS_TN  tn 
) [private]

BOOL PQS_MANAGER::always_set_TRUE ( PQS_NODE_IDX  tni,
PQS_TN  tn 
) [private]

BOOL PQS_MANAGER::always_set_FALSE ( PQS_NODE_IDX  tni,
PQS_TN  tn 
) [private]

BOOL PQS_MANAGER::never_set_TRUE ( PQS_NODE_IDX  tni,
PQS_TN  tn 
) [private]

BOOL PQS_MANAGER::never_set_FALSE ( PQS_NODE_IDX  tni,
PQS_TN  tn 
) [private]

BOOL PQS_MANAGER::may_set_TRUE ( INT32  truth  )  [private]

BOOL PQS_MANAGER::may_set_FALSE ( INT32  truth  )  [private]

BOOL PQS_MANAGER::never_set_TRUE ( INT32  truth  )  [private]

BOOL PQS_MANAGER::never_set_FALSE ( INT32  truth  )  [private]

BOOL PQS_MANAGER::always_set_TRUE ( INT32  truth  )  [private]

BOOL PQS_MANAGER::always_set_FALSE ( INT32  truth  )  [private]

BOOL PQS_MANAGER::qual_always_true ( INT32  truth  )  [private]

INT32 PQS_MANAGER::get_truth_info ( PQS_NODE_IDX  tni,
PQS_TN  tn 
) [private]

BOOL PQS_MANAGER::PQS_is_subset_of ( PQS_NODE_IDX  tni1,
PQS_TN  tn1,
PQS_NODE_IDX  tni2,
PQS_TN  tn2 
) [private]

BOOL PQS_MANAGER::PQS_is_subset_of ( PQS_NODE_IDX  tni1,
PQS_TN  tn1,
PQS_TN_SET &  tns2 
) [private]

BOOL PQS_MANAGER::PQS_is_disjoint ( PQS_NODE_IDX  tni1,
PQS_NODE_IDX  tni2,
PQS_TN  tn1,
PQS_TN  tn2 
) [private]

BOOL PQS_MANAGER::PQS_is_disjoint_h ( PQS_NODE_IDX  tni1,
PQS_NODE_IDX  tni2,
PQS_TN  tn1,
PQS_TN  tn2 
) [private]

void PQS_MANAGER::PQS_Mark_TN_Parents_TRUE ( PQS_NODE_IDX  tni,
PQS_TN  tn 
) [private]

void PQS_MANAGER::PQS_Mark_TN_Parents_TRUE ( PQS_TN  tn  )  [private]

PQS_TN_SET PQS_MANAGER::Simplify_TN_Set ( const PQS_TN_SET &  tn_in  )  [private]

void PQS_MANAGER::Simplify_TNI_Set ( PQS_TNI_SET &  tni_in  )  [private]

BOOL PQS_MANAGER::Simplify_In_Set ( PQS_NODE_IDX  tni,
PQS_TN  tn,
PQS_TNI_SET &  tnis 
) [private]

void PQS_MANAGER::Init_TN_OP_Info ( void   )  [private]

_data PQS_MANAGER::push_back ( dummy   ) 

PQS_MANAGER::Init_TN_OP_Info (  ) 

PQS_MARKER_TYPE PQS_MANAGER::Current_Marker (  )  [inline]

Definition at line 212 of file pqs.h.

References _mark_number.

void PQS_MANAGER::Update_Marker ( void   )  [inline]

Definition at line 213 of file pqs.h.

References _mark_number.

void PQS_MANAGER::Set_Manager_Marker ( PQS_MARKER_TYPE  mark  )  [inline]

Definition at line 214 of file pqs.h.

References _mark_number.

PQS_NODE_IDX PQS_MANAGER::New_pqs_idx ( PQS_ITYPE  itype,
PQS_OP  inst 
) [inline]

void PQS_MANAGER::PQS_NODE_set_out_pred1 ( PQS_NODE_IDX  i,
PQS_TN  p1 
) [inline]

Definition at line 219 of file pqs.h.

References _data.

void PQS_MANAGER::PQS_NODE_set_itype ( PQS_NODE_IDX  i,
PQS_ITYPE  itype 
) [inline]

Definition at line 220 of file pqs.h.

References _data.

void PQS_MANAGER::PQS_NODE_set_out_pred2 ( PQS_NODE_IDX  i,
PQS_TN  p2 
) [inline]

Definition at line 221 of file pqs.h.

References _data.

void PQS_MANAGER::PQS_NODE_set_in_pred1 ( PQS_NODE_IDX  i,
PQS_NODE_IDX  p1 
) [inline]

Definition at line 222 of file pqs.h.

References _data.

void PQS_MANAGER::PQS_NODE_set_in_pred2 ( PQS_NODE_IDX  i,
PQS_NODE_IDX  p2 
) [inline]

Definition at line 223 of file pqs.h.

References _data.

void PQS_MANAGER::PQS_NODE_set_qual_pred ( PQS_NODE_IDX  i,
PQS_NODE_IDX  p1 
) [inline]

Definition at line 224 of file pqs.h.

References _data.

void PQS_MANAGER::PQS_NODE_set_qual_tn ( PQS_NODE_IDX  i,
PQS_TN  t 
) [inline]

Definition at line 225 of file pqs.h.

References _data.

void PQS_MANAGER::PQS_NODE_add_use ( PQS_NODE_IDX  i,
PQS_TN  p,
PQS_NODE_IDX  use 
) [inline]

Definition at line 226 of file pqs.h.

References _data, and PQS_Is_Real_Idx.

void PQS_MANAGER::PQS_NODE_Mark ( PQS_NODE_IDX  i  )  [inline]

Definition at line 229 of file pqs.h.

References _data, and _mark_number.

void PQS_MANAGER::PQS_NODE_Mark ( PQS_NODE_IDX  i,
PQS_TN  t 
) [inline]

Definition at line 233 of file pqs.h.

References _data, and _mark_number.

void PQS_MANAGER::PQS_NODE_set_flags ( PQS_NODE_IDX  i,
PQS_NODE_FLAGS  f 
) [inline]

Definition at line 238 of file pqs.h.

References _data.

void PQS_MANAGER::PQS_NODE_set_condition_true ( PQS_NODE_IDX  i  )  [inline]

Definition at line 239 of file pqs.h.

References _data, and PQS_FLAG_CONDITION_TRUE.

void PQS_MANAGER::PQS_NODE_set_condition_false ( PQS_NODE_IDX  i  )  [inline]

Definition at line 240 of file pqs.h.

References _data, and PQS_FLAG_CONDITION_FALSE.

PQS_OP PQS_MANAGER::PQS_NODE_get_op ( PQS_NODE_IDX  i  )  [inline]

Definition at line 244 of file pqs.h.

References _data.

PQS_ITYPE PQS_MANAGER::PQS_NODE_get_itype ( PQS_NODE_IDX  i  )  [inline]

Definition at line 245 of file pqs.h.

References _data.

PQS_TN PQS_MANAGER::PQS_NODE_get_out_pred1 ( PQS_NODE_IDX  i  )  [inline]

Definition at line 246 of file pqs.h.

References _data.

PQS_TN PQS_MANAGER::PQS_NODE_get_out_pred2 ( PQS_NODE_IDX  i  )  [inline]

Definition at line 247 of file pqs.h.

References _data.

PQS_NODE_IDX PQS_MANAGER::PQS_NODE_get_in_pred1 ( PQS_NODE_IDX  i  )  [inline]

Definition at line 248 of file pqs.h.

References _data.

PQS_NODE_IDX PQS_MANAGER::PQS_NODE_get_in_pred2 ( PQS_NODE_IDX  i  )  [inline]

Definition at line 249 of file pqs.h.

References _data.

PQS_TN PQS_MANAGER::PQS_NODE_get_qual_tn ( PQS_NODE_IDX  i  )  [inline]

Definition at line 250 of file pqs.h.

References _data.

PQS_NODE_IDX PQS_MANAGER::PQS_NODE_get_qual_pred ( PQS_NODE_IDX  i  )  [inline]

Definition at line 251 of file pqs.h.

References _data.

INT32 PQS_MANAGER::PQS_NODE_num_use1 ( PQS_NODE_IDX  i  )  [inline]

Definition at line 252 of file pqs.h.

References _data.

INT32 PQS_MANAGER::PQS_NODE_num_use2 ( PQS_NODE_IDX  i  )  [inline]

Definition at line 253 of file pqs.h.

References _data.

PQS_NODE_IDX PQS_MANAGER::PQS_NODE_get_use1 ( PQS_NODE_IDX  i,
INT32  num 
) [inline]

Definition at line 254 of file pqs.h.

References _data.

PQS_NODE_IDX PQS_MANAGER::PQS_NODE_get_use2 ( PQS_NODE_IDX  i,
INT32  num 
) [inline]

Definition at line 255 of file pqs.h.

References _data.

BOOL PQS_MANAGER::Is_Marked ( PQS_NODE_IDX  i  )  [inline]

Definition at line 256 of file pqs.h.

References _data, and _mark_number.

BOOL PQS_MANAGER::Is_Marked1 ( PQS_NODE_IDX  i  )  [inline]

Definition at line 259 of file pqs.h.

References _data, and _mark_number.

BOOL PQS_MANAGER::Is_Marked2 ( PQS_NODE_IDX  i  )  [inline]

Definition at line 260 of file pqs.h.

References _data, and _mark_number.

PQS_MARKER_TYPE PQS_MANAGER::PQS_NODE_get_marker ( PQS_NODE_IDX  i,
INT32  num 
) [inline]

Definition at line 262 of file pqs.h.

References _data.

PQS_NODE_FLAGS PQS_MANAGER::PQS_NODE_get_flags ( PQS_NODE_IDX  i  )  [inline]

Definition at line 266 of file pqs.h.

References _data.

BOOL PQS_MANAGER::PQS_NODE_condition_true ( PQS_NODE_IDX  i  )  [inline]

Definition at line 267 of file pqs.h.

References _data, flags, and PQS_FLAG_CONDITION_TRUE.

BOOL PQS_MANAGER::PQS_NODE_condition_false ( PQS_NODE_IDX  i  )  [inline]

Definition at line 268 of file pqs.h.

References _data, flags, and PQS_FLAG_CONDITION_FALSE.

PQS_NODE_IDX PQS_MANAGER::PQS_NODE_get_up_idx ( PQS_NODE_IDX  i,
PQS_TN  t 
) [inline]

Definition at line 274 of file pqs.h.

References FmtAssert, PQS_IDX_INVALID, PQS_NODE_get_in_pred1(), PQS_NODE_get_in_pred2(), PQS_NODE_get_out_pred1(), and PQS_NODE_get_out_pred2().

INT32 PQS_MANAGER::PQS_NODE_get_1_2 ( PQS_NODE_IDX  i,
PQS_TN  t 
) [inline]

Definition at line 288 of file pqs.h.

References FmtAssert, PQS_NODE_get_out_pred1(), and PQS_NODE_get_out_pred2().

PQS_TN PQS_MANAGER::PQS_NODE_get_other_tn ( PQS_NODE_IDX  i,
PQS_TN  t 
) [inline]

Definition at line 299 of file pqs.h.

References FmtAssert, PQS_NODE_get_out_pred1(), and PQS_NODE_get_out_pred2().

void PQS_MANAGER::Print_all ( FILE *  f = stdout  ) 

void PQS_MANAGER::Print_idx ( PQS_NODE_IDX  idx,
FILE *  f = stdout 
)

BOOL PQS_MANAGER::PQS_is_disjoint ( PQS_TN  tn1,
PQS_TN  tn2 
)

BOOL PQS_MANAGER::PQS_is_disjoint ( PQS_TN_SET &  tns1,
PQS_TN_SET &  tns2 
)

BOOL PQS_MANAGER::PQS_is_subset_of ( PQS_TN  tn1,
PQS_TN  tn2 
)

BOOL PQS_MANAGER::PQS_is_subset_of ( PQS_TN  tn1,
PQS_TN_SET &  tns2 
)

BOOL PQS_MANAGER::PQS_is_subset_of ( PQS_TN_SET &  tns1,
PQS_TN_SET &  tns2 
)

PQS_NODE_IDX PQS_MANAGER::PQS_Add_Instruction ( PQS_OP  inst  ) 

BOOL PQS_MANAGER::PQS_is_disjoint_helper ( PQS_NODE_IDX  tni2,
PQS_TN  tn2 
) [private]

PQS_TRUTH PQS_MANAGER::never_true_together ( PQS_TN  t1,
PQS_TN  t2,
PQS_NODE_IDX  tni 
) [private]

BOOL PQS_MANAGER::may_set_TRUE ( PQS_NODE_IDX  tni,
PQS_TN  tn 
) [private]

BOOL PQS_MANAGER::may_set_FALSE ( PQS_NODE_IDX  tni,
PQS_TN  tn 
) [private]

BOOL PQS_MANAGER::always_set_TRUE ( PQS_NODE_IDX  tni,
PQS_TN  tn 
) [private]

BOOL PQS_MANAGER::always_set_FALSE ( PQS_NODE_IDX  tni,
PQS_TN  tn 
) [private]

BOOL PQS_MANAGER::never_set_TRUE ( PQS_NODE_IDX  tni,
PQS_TN  tn 
) [private]

BOOL PQS_MANAGER::never_set_FALSE ( PQS_NODE_IDX  tni,
PQS_TN  tn 
) [private]

BOOL PQS_MANAGER::may_set_TRUE ( INT32  truth  )  [private]

BOOL PQS_MANAGER::may_set_FALSE ( INT32  truth  )  [private]

BOOL PQS_MANAGER::never_set_TRUE ( INT32  truth  )  [private]

BOOL PQS_MANAGER::never_set_FALSE ( INT32  truth  )  [private]

BOOL PQS_MANAGER::always_set_TRUE ( INT32  truth  )  [private]

BOOL PQS_MANAGER::always_set_FALSE ( INT32  truth  )  [private]

BOOL PQS_MANAGER::qual_always_true ( INT32  truth  )  [private]

INT32 PQS_MANAGER::get_truth_info ( PQS_NODE_IDX  tni,
PQS_TN  tn 
) [private]

BOOL PQS_MANAGER::PQS_is_subset_of ( PQS_NODE_IDX  tni1,
PQS_TN  tn1,
PQS_NODE_IDX  tni2,
PQS_TN  tn2 
) [private]

BOOL PQS_MANAGER::PQS_is_subset_of ( PQS_NODE_IDX  tni1,
PQS_TN  tn1,
PQS_TN_SET &  tns2 
) [private]

BOOL PQS_MANAGER::PQS_is_disjoint ( PQS_NODE_IDX  tni1,
PQS_NODE_IDX  tni2,
PQS_TN  tn1,
PQS_TN  tn2 
) [private]

BOOL PQS_MANAGER::PQS_is_disjoint_h ( PQS_NODE_IDX  tni1,
PQS_NODE_IDX  tni2,
PQS_TN  tn1,
PQS_TN  tn2 
) [private]

void PQS_MANAGER::PQS_Mark_TN_Parents_TRUE ( PQS_NODE_IDX  tni,
PQS_TN  tn 
) [private]

void PQS_MANAGER::PQS_Mark_TN_Parents_TRUE ( PQS_TN  tn  )  [private]

PQS_TN_SET PQS_MANAGER::Simplify_TN_Set ( const PQS_TN_SET &  tn_in  )  [private]

void PQS_MANAGER::Simplify_TNI_Set ( PQS_TNI_SET &  tni_in  )  [private]

BOOL PQS_MANAGER::Simplify_In_Set ( PQS_NODE_IDX  tni,
PQS_TN  tn,
PQS_TNI_SET &  tnis 
) [private]

void PQS_MANAGER::Init_TN_OP_Info ( void   )  [private]

_data PQS_MANAGER::push_back ( dummy   ) 

PQS_MANAGER::Init_TN_OP_Info (  ) 

PQS_MARKER_TYPE PQS_MANAGER::Current_Marker (  )  [inline]

Definition at line 212 of file pqs.h.

References _mark_number.

void PQS_MANAGER::Update_Marker ( void   )  [inline]

Definition at line 213 of file pqs.h.

References _mark_number.

void PQS_MANAGER::Set_Manager_Marker ( PQS_MARKER_TYPE  mark  )  [inline]

Definition at line 214 of file pqs.h.

References _mark_number.

PQS_NODE_IDX PQS_MANAGER::New_pqs_idx ( PQS_ITYPE  itype,
PQS_OP  inst 
) [inline]

void PQS_MANAGER::PQS_NODE_set_out_pred1 ( PQS_NODE_IDX  i,
PQS_TN  p1 
) [inline]

Definition at line 219 of file pqs.h.

References _data.

void PQS_MANAGER::PQS_NODE_set_itype ( PQS_NODE_IDX  i,
PQS_ITYPE  itype 
) [inline]

Definition at line 220 of file pqs.h.

References _data.

void PQS_MANAGER::PQS_NODE_set_out_pred2 ( PQS_NODE_IDX  i,
PQS_TN  p2 
) [inline]

Definition at line 221 of file pqs.h.

References _data.

void PQS_MANAGER::PQS_NODE_set_in_pred1 ( PQS_NODE_IDX  i,
PQS_NODE_IDX  p1 
) [inline]

Definition at line 222 of file pqs.h.

References _data.

void PQS_MANAGER::PQS_NODE_set_in_pred2 ( PQS_NODE_IDX  i,
PQS_NODE_IDX  p2 
) [inline]

Definition at line 223 of file pqs.h.

References _data.

void PQS_MANAGER::PQS_NODE_set_qual_pred ( PQS_NODE_IDX  i,
PQS_NODE_IDX  p1 
) [inline]

Definition at line 224 of file pqs.h.

References _data.

void PQS_MANAGER::PQS_NODE_set_qual_tn ( PQS_NODE_IDX  i,
PQS_TN  t 
) [inline]

Definition at line 225 of file pqs.h.

References _data.

void PQS_MANAGER::PQS_NODE_add_use ( PQS_NODE_IDX  i,
PQS_TN  p,
PQS_NODE_IDX  use 
) [inline]

Definition at line 226 of file pqs.h.

References _data, and PQS_Is_Real_Idx.

void PQS_MANAGER::PQS_NODE_Mark ( PQS_NODE_IDX  i  )  [inline]

Definition at line 229 of file pqs.h.

References _data, and _mark_number.

void PQS_MANAGER::PQS_NODE_Mark ( PQS_NODE_IDX  i,
PQS_TN  t 
) [inline]

Definition at line 233 of file pqs.h.

References _data, and _mark_number.

void PQS_MANAGER::PQS_NODE_set_flags ( PQS_NODE_IDX  i,
PQS_NODE_FLAGS  f 
) [inline]

Definition at line 238 of file pqs.h.

References _data.

void PQS_MANAGER::PQS_NODE_set_condition_true ( PQS_NODE_IDX  i  )  [inline]

Definition at line 239 of file pqs.h.

References _data, and PQS_FLAG_CONDITION_TRUE.

void PQS_MANAGER::PQS_NODE_set_condition_false ( PQS_NODE_IDX  i  )  [inline]

Definition at line 240 of file pqs.h.

References _data, and PQS_FLAG_CONDITION_FALSE.

PQS_OP PQS_MANAGER::PQS_NODE_get_op ( PQS_NODE_IDX  i  )  [inline]

Definition at line 244 of file pqs.h.

References _data.

PQS_ITYPE PQS_MANAGER::PQS_NODE_get_itype ( PQS_NODE_IDX  i  )  [inline]

Definition at line 245 of file pqs.h.

References _data.

PQS_TN PQS_MANAGER::PQS_NODE_get_out_pred1 ( PQS_NODE_IDX  i  )  [inline]

Definition at line 246 of file pqs.h.

References _data.

PQS_TN PQS_MANAGER::PQS_NODE_get_out_pred2 ( PQS_NODE_IDX  i  )  [inline]

Definition at line 247 of file pqs.h.

References _data.

PQS_NODE_IDX PQS_MANAGER::PQS_NODE_get_in_pred1 ( PQS_NODE_IDX  i  )  [inline]

Definition at line 248 of file pqs.h.

References _data.

PQS_NODE_IDX PQS_MANAGER::PQS_NODE_get_in_pred2 ( PQS_NODE_IDX  i  )  [inline]

Definition at line 249 of file pqs.h.

References _data.

PQS_TN PQS_MANAGER::PQS_NODE_get_qual_tn ( PQS_NODE_IDX  i  )  [inline]

Definition at line 250 of file pqs.h.

References _data.

PQS_NODE_IDX PQS_MANAGER::PQS_NODE_get_qual_pred ( PQS_NODE_IDX  i  )  [inline]

Definition at line 251 of file pqs.h.

References _data.

INT32 PQS_MANAGER::PQS_NODE_num_use1 ( PQS_NODE_IDX  i  )  [inline]

Definition at line 252 of file pqs.h.

References _data.

INT32 PQS_MANAGER::PQS_NODE_num_use2 ( PQS_NODE_IDX  i  )  [inline]

Definition at line 253 of file pqs.h.

References _data.

PQS_NODE_IDX PQS_MANAGER::PQS_NODE_get_use1 ( PQS_NODE_IDX  i,
INT32  num 
) [inline]

Definition at line 254 of file pqs.h.

References _data.

PQS_NODE_IDX PQS_MANAGER::PQS_NODE_get_use2 ( PQS_NODE_IDX  i,
INT32  num 
) [inline]

Definition at line 255 of file pqs.h.

References _data.

BOOL PQS_MANAGER::Is_Marked ( PQS_NODE_IDX  i  )  [inline]

Definition at line 256 of file pqs.h.

References _data, and _mark_number.

BOOL PQS_MANAGER::Is_Marked1 ( PQS_NODE_IDX  i  )  [inline]

Definition at line 259 of file pqs.h.

References _data, and _mark_number.

BOOL PQS_MANAGER::Is_Marked2 ( PQS_NODE_IDX  i  )  [inline]

Definition at line 260 of file pqs.h.

References _data, and _mark_number.

PQS_MARKER_TYPE PQS_MANAGER::PQS_NODE_get_marker ( PQS_NODE_IDX  i,
INT32  num 
) [inline]

Definition at line 262 of file pqs.h.

References _data.

PQS_NODE_FLAGS PQS_MANAGER::PQS_NODE_get_flags ( PQS_NODE_IDX  i  )  [inline]

Definition at line 266 of file pqs.h.

References _data.

BOOL PQS_MANAGER::PQS_NODE_condition_true ( PQS_NODE_IDX  i  )  [inline]

Definition at line 267 of file pqs.h.

References _data, flags, and PQS_FLAG_CONDITION_TRUE.

BOOL PQS_MANAGER::PQS_NODE_condition_false ( PQS_NODE_IDX  i  )  [inline]

Definition at line 268 of file pqs.h.

References _data, flags, and PQS_FLAG_CONDITION_FALSE.

PQS_NODE_IDX PQS_MANAGER::PQS_NODE_get_up_idx ( PQS_NODE_IDX  i,
PQS_TN  t 
) [inline]

Definition at line 274 of file pqs.h.

References FmtAssert, PQS_IDX_INVALID, PQS_NODE_get_in_pred1(), PQS_NODE_get_in_pred2(), PQS_NODE_get_out_pred1(), and PQS_NODE_get_out_pred2().

INT32 PQS_MANAGER::PQS_NODE_get_1_2 ( PQS_NODE_IDX  i,
PQS_TN  t 
) [inline]

Definition at line 288 of file pqs.h.

References FmtAssert, PQS_NODE_get_out_pred1(), and PQS_NODE_get_out_pred2().

PQS_TN PQS_MANAGER::PQS_NODE_get_other_tn ( PQS_NODE_IDX  i,
PQS_TN  t 
) [inline]

Definition at line 299 of file pqs.h.

References FmtAssert, PQS_NODE_get_out_pred1(), and PQS_NODE_get_out_pred2().

void PQS_MANAGER::Print_all ( FILE *  f = stdout  ) 

void PQS_MANAGER::Print_idx ( PQS_NODE_IDX  idx,
FILE *  f = stdout 
)

BOOL PQS_MANAGER::PQS_is_disjoint ( PQS_TN  tn1,
PQS_TN  tn2 
)

BOOL PQS_MANAGER::PQS_is_disjoint ( PQS_TN_SET &  tns1,
PQS_TN_SET &  tns2 
)

BOOL PQS_MANAGER::PQS_is_subset_of ( PQS_TN  tn1,
PQS_TN  tn2 
)

BOOL PQS_MANAGER::PQS_is_subset_of ( PQS_TN  tn1,
PQS_TN_SET &  tns2 
)

BOOL PQS_MANAGER::PQS_is_subset_of ( PQS_TN_SET &  tns1,
PQS_TN_SET &  tns2 
)

PQS_NODE_IDX PQS_MANAGER::PQS_Add_Instruction ( PQS_OP  inst  ) 

Field Documentation

PQS_NODE_VECTOR PQS_MANAGER::_data [private]

Definition at line 162 of file pqs.h.

Referenced by Is_Marked(), Is_Marked1(), Is_Marked2(), New_pqs_idx(), PQS_NODE_add_use(), PQS_NODE_condition_false(), PQS_NODE_condition_true(), PQS_NODE_get_flags(), PQS_NODE_get_in_pred1(), PQS_NODE_get_in_pred2(), PQS_NODE_get_itype(), PQS_NODE_get_marker(), PQS_NODE_get_op(), PQS_NODE_get_out_pred1(), PQS_NODE_get_out_pred2(), PQS_NODE_get_qual_pred(), PQS_NODE_get_qual_tn(), PQS_NODE_get_use1(), PQS_NODE_get_use2(), PQS_NODE_Mark(), PQS_NODE_num_use1(), PQS_NODE_num_use2(), PQS_NODE_set_condition_false(), PQS_NODE_set_condition_true(), PQS_NODE_set_flags(), PQS_NODE_set_in_pred1(), PQS_NODE_set_in_pred2(), PQS_NODE_set_itype(), PQS_NODE_set_out_pred1(), PQS_NODE_set_out_pred2(), PQS_NODE_set_qual_pred(), PQS_NODE_set_qual_tn(), Print_all(), and Print_idx().

PQS_MARKER_TYPE PQS_MANAGER::_mark_number [private]

Definition at line 163 of file pqs.h.

Referenced by Current_Marker(), Is_Marked(), Is_Marked1(), Is_Marked2(), PQS_NODE_Mark(), Set_Manager_Marker(), and Update_Marker().

PQS_MANAGER::__pad0__

Definition at line 199 of file pqs.h.

PQS_MANAGER::_mark_number = 0

Definition at line 200 of file pqs.h.

TN_MAP PQS_MANAGER::PQS_tn_map

Definition at line 208 of file pqs.h.

Referenced by get_tn_map(), PQS_TN_get_last_definition(), PQS_TN_no_query(), PQS_TN_used_as_qual_pred(), and PQSCG_init().

OP_MAP PQS_MANAGER::PQS_op_map

Definition at line 209 of file pqs.h.

Referenced by PQS_OP_set_pqs_idx(), and PQSCG_init().

PQS_TN PQS_MANAGER::PQS_TN_P0

Definition at line 325 of file pqs.h.

Referenced by Init_TN_OP_Info(), PQS_Add_Instruction(), PQS_is_subset_of(), Simplify_In_Set(), and Simplify_TN_Set().

The documentation for this module was generated from the following files:
Generated on Wed Apr 8 17:01:14 2009 for Open64 by  doxygen 1.5.6