symstate.hh File Reference

#include <set>
#include <vector>
#include "join_status.hh"
#include "symheap.hh"

Go to the source code of this file.

Data Structures
class	SymState
class	SymHeapList
class	SymHeapUnion
	symbolic state represented as a union of SymHeap objects (aka disjuncts) More...
class	SymStateWithJoin
class	SymStateMarked
	Extension of SymStateWithJoin, which distinguishes among already processed symbolic heaps and symbolic heaps scheduled for processing. More...
class	IPendingCountProvider
class	SymStateMap
	higher-level container that maintains a SymStateMarked object per each basic block. More...
class	IStatsProvider
class	BlockScheduler

Namespaces
namespace	CodeStorage
	object model that describes the analyzed code on the input

Detailed Description

Todo:

update dox

Definition in file symstate.hh.