CIRCT  19.0.0git
Classes | Namespaces
State.h File Reference
#include "llvm/ADT/APInt.h"
#include "llvm/ADT/SmallVector.h"
#include "llvm/ADT/StringMap.h"
#include <map>
#include <queue>
#include <regex>
Include dependency graph for State.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.


class  circt::llhd::sim::Time
 The simulator's internal representation of time. More...
struct  circt::llhd::sim::SignalDetail
 Detail structure that can be easily accessed by the lowered code. More...
class  circt::llhd::sim::Signal
 The simulator's internal representation of a signal. More...
struct  circt::llhd::sim::Slot
 The simulator's internal representation of one queue slot. More...
class  circt::llhd::sim::UpdateQueue
 This is equivalent to and std::priorityQueue<Slot> ordered using the greater operator, which adds an insertion method to add changes to a slot. More...
struct  circt::llhd::sim::ProcState
 State structure for process persistence across suspension. More...
struct  circt::llhd::sim::Instance
 The simulator internal representation of an instance. More...
struct  circt::llhd::sim::State
 The simulator's state. More...


 This file defines an intermediate representation for circuits acting as an abstraction for constraints defined over an SMT's solver context.