DiscrepancyOpInfo Class Reference

#include <DiscrepancyOpInfo.hpp>

Collaboration diagram for DiscrepancyOpInfo:

Data Fields
unsigned long	n_cycles
unsigned int	stg_fun_id
unsigned int	op_id
unsigned int	ssa_name_node_id
unsigned int	bitsize
unsigned int	vec_base_bitsize
enum discrepancy_type_mask	type
bool	is_bounded_op
CustomOrderedSet< unsigned int >	start_states
CustomOrderedSet< unsigned int >	exec_states
CustomOrderedSet< unsigned int >	end_states
std::string	ssa_name

Detailed Description

Definition at line 81 of file DiscrepancyOpInfo.hpp.

Field Documentation

bitsize

unsigned int DiscrepancyOpInfo::bitsize

Definition at line 88 of file DiscrepancyOpInfo.hpp.

end_states

CustomOrderedSet<unsigned int> DiscrepancyOpInfo::end_states

Definition at line 94 of file DiscrepancyOpInfo.hpp.

Referenced by is_start().

exec_states

CustomOrderedSet<unsigned int> DiscrepancyOpInfo::exec_states

Definition at line 93 of file DiscrepancyOpInfo.hpp.

Referenced by is_exec().

is_bounded_op

bool DiscrepancyOpInfo::is_bounded_op

Definition at line 91 of file DiscrepancyOpInfo.hpp.

Referenced by vcd_trace_head::detect_new_start_end_times(), and vcd_trace_head::update().

n_cycles

unsigned long DiscrepancyOpInfo::n_cycles

Definition at line 84 of file DiscrepancyOpInfo.hpp.

Referenced by vcd_trace_head::update().

op_id

unsigned int DiscrepancyOpInfo::op_id

Definition at line 86 of file DiscrepancyOpInfo.hpp.

Referenced by vcd_trace_head::advance(), vcd_utility::detect_address_mismatch(), vcd_utility::detect_mismatch_simple(), vcd_utility::Exec(), is_exec(), is_start(), operator!=(), operator<(), operator>(), vcd_utility::print_failed_vcd_head(), vcd_trace_head::unbounded_find_end_time(), and vcd_trace_head::update().

ssa_name

std::string DiscrepancyOpInfo::ssa_name

Definition at line 95 of file DiscrepancyOpInfo.hpp.

Referenced by vcd_utility::detect_mismatch(), vcd_utility::detect_mismatch_element(), vcd_utility::detect_mismatch_simple(), and vcd_utility::detect_regular_mismatch().

ssa_name_node_id

unsigned int DiscrepancyOpInfo::ssa_name_node_id

Definition at line 87 of file DiscrepancyOpInfo.hpp.

Referenced by vcd_utility::detect_address_mismatch(), vcd_utility::detect_mismatch(), vcd_utility::detect_mismatch_element(), vcd_utility::detect_regular_mismatch(), and vcd_trace_head::update().

start_states

CustomOrderedSet<unsigned int> DiscrepancyOpInfo::start_states

Definition at line 92 of file DiscrepancyOpInfo.hpp.

Referenced by is_start().

stg_fun_id

unsigned int DiscrepancyOpInfo::stg_fun_id

Definition at line 85 of file DiscrepancyOpInfo.hpp.

Referenced by vcd_utility::detect_fixed_address_mismatch(), vcd_utility::Exec(), is_exec(), is_start(), operator!=(), operator<(), operator>(), vcd_utility::print_failed_vcd_head(), vcd_trace_head::unbounded_find_end_time(), and vcd_trace_head::update().

type

enum discrepancy_type_mask DiscrepancyOpInfo::type

Definition at line 90 of file DiscrepancyOpInfo.hpp.

Referenced by vcd_utility::detect_mismatch(), vcd_utility::detect_mismatch_element(), vcd_utility::detect_mismatch_simple(), vcd_utility::detect_regular_mismatch(), and vcd_utility::update_discr_list().

vec_base_bitsize

unsigned int DiscrepancyOpInfo::vec_base_bitsize

Definition at line 89 of file DiscrepancyOpInfo.hpp.

Referenced by vcd_utility::detect_mismatch(), and vcd_utility::detect_mismatch_element().

---

The documentation for this class was generated from the following file:

• /workspace/src/parser/discrepancy/DiscrepancyOpInfo.hpp