Discrepancy.hpp File Reference

#include "Parameter.hpp"
#include "UnfoldedCallGraph.hpp"
#include "DiscrepancyOpInfo.hpp"
#include "vcd_parser.hpp"
#include "tree_node.hpp"
#include "refcount.hpp"
#include "custom_map.hpp"
#include "custom_set.hpp"
#include <string>

Include dependency graph for Discrepancy.hpp:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures
struct	CallSitesInfo
struct	HWDiscrepancyInfo
struct	Discrepancy

Typedefs
using	CallSitesInfoRef = refcount< CallSitesInfo >
using	CallSitesInfoConstRef = refcount< const CallSitesInfo >
using	HWDiscrepancyInfoRef = refcount< HWDiscrepancyInfo >
using	HWDiscrepancyInfoConstRef = refcount< const HWDiscrepancyInfo >
using	DiscrepancyRef = refcount< Discrepancy >
using	DiscrepancyConstRef = refcount< const Discrepancy >

Functions
	REF_FORWARD_DECL (structural_manager)

Typedef Documentation

CallSitesInfoConstRef

using CallSitesInfoConstRef = refcount<const CallSitesInfo>

Definition at line 76 of file Discrepancy.hpp.

CallSitesInfoRef

using CallSitesInfoRef = refcount<CallSitesInfo>

Definition at line 75 of file Discrepancy.hpp.

DiscrepancyConstRef

using DiscrepancyConstRef = refcount<const Discrepancy>

Definition at line 235 of file Discrepancy.hpp.

DiscrepancyRef

using DiscrepancyRef = refcount<Discrepancy>

Definition at line 234 of file Discrepancy.hpp.

HWDiscrepancyInfoConstRef

using HWDiscrepancyInfoConstRef = refcount<const HWDiscrepancyInfo>

Definition at line 123 of file Discrepancy.hpp.

HWDiscrepancyInfoRef

using HWDiscrepancyInfoRef = refcount<HWDiscrepancyInfo>

Definition at line 122 of file Discrepancy.hpp.

Function Documentation

REF_FORWARD_DECL()

REF_FORWARD_DECL

(

structural_manager

)

Author

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