#include "vcd_trace_head.hpp"
#include "hls.hpp"
#include "hls_manager.hpp"
#include "storage_value_information.hpp"
#include "state_transition_graph.hpp"
#include "state_transition_graph_manager.hpp"
#include "tree_manager.hpp"
#include "tree_node.hpp"
#include "exceptions.hpp"
#include "string_manipulation.hpp"
#include <functional>
#include <utility>

Include dependency graph for vcd_trace_head.cpp:

Functions
static bool	is_valid_state_string (const std::string &s, bool one_hot_fsm_encoding)

static unsigned int	compute_state_id (const std::string &s, bool one_hot_fsm_encoding)

static bool	is_binary_string_repr (const std::string &s, unsigned int id, bool one_hot_fsm_encoding)

static bool	string_represents_one_of_the_states (const std::string &val, const CustomOrderedSet< unsigned int > &state_ids, bool one_hot_fsm_encoding)

static bool	is_exec (const sig_variation &state_var, const DiscrepancyOpInfo &i, bool one_hot_fsm_encoding)

static bool	is_start (const sig_variation &state_var, const DiscrepancyOpInfo &i, bool one_hot_fsm_encoding)

static bool	all_ones (const std::string &s)

static bool	var_has_value_ones (const sig_variation &v)

static bool	var_is_later_or_equal (const sig_variation &v, const unsigned long long time)

Function Documentation

◆ all_ones()

static bool all_ones ( const std::string & s )

static

Definition at line 140 of file vcd_trace_head.cpp.

Referenced by var_has_value_ones().

Here is the caller graph for this function:

◆ compute_state_id()

static unsigned int compute_state_id	(	const std::string &	s,
		bool	one_hot_fsm_encoding
	)

static

Definition at line 88 of file vcd_trace_head.cpp.

References is_valid_state_string(), THROW_ASSERT, and U.

Referenced by is_binary_string_repr(), string_represents_one_of_the_states(), and vcd_trace_head::update().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ is_binary_string_repr()

static bool is_binary_string_repr	(	const std::string &	s,
		unsigned int	id,
		bool	one_hot_fsm_encoding
	)

static

Definition at line 99 of file vcd_trace_head.cpp.

References compute_state_id(), is_valid_state_string(), and THROW_ERROR.

Referenced by vcd_trace_head::update().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ is_exec()

static bool is_exec	(	const sig_variation &	state_var,
		const DiscrepancyOpInfo &	i,
		bool	one_hot_fsm_encoding
	)

static

Definition at line 120 of file vcd_trace_head.cpp.

References DiscrepancyOpInfo::exec_states, DiscrepancyOpInfo::op_id, DiscrepancyOpInfo::stg_fun_id, STR, string_represents_one_of_the_states(), THROW_ASSERT, and sig_variation::value.

Referenced by vcd_trace_head::unbounded_find_end_time().

Here is the call graph for this function:

Here is the caller graph for this function:

◆ is_start()

static bool is_start	(	const sig_variation &	state_var,
		const DiscrepancyOpInfo &	i,
		bool	one_hot_fsm_encoding
	)

static

Definition at line 126 of file vcd_trace_head.cpp.

References DiscrepancyOpInfo::end_states, DiscrepancyOpInfo::op_id, DiscrepancyOpInfo::start_states, DiscrepancyOpInfo::stg_fun_id, STR, string_represents_one_of_the_states(), THROW_ASSERT, and sig_variation::value.

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

Here is the call graph for this function:

Here is the caller graph for this function:

◆ is_valid_state_string()

static bool is_valid_state_string	(	const std::string &	s,
		bool	one_hot_fsm_encoding
	)

static

Author: Pietro Fezzardi pietr.nosp@m.ofez.nosp@m.zardi.nosp@m.@gma.nosp@m.il.co.nosp@m.m

Definition at line 62 of file vcd_trace_head.cpp.

Referenced by compute_state_id(), is_binary_string_repr(), and string_represents_one_of_the_states().

Here is the caller graph for this function:

◆ string_represents_one_of_the_states()

static bool string_represents_one_of_the_states	(	const std::string &	val,
		const CustomOrderedSet< unsigned int > &	state_ids,
		bool	one_hot_fsm_encoding
	)