ConstraintStorage.h File Reference

#include "ConstraintDiagnostics.h"
#include "ConstraintScalarFacts.h"
#include "llzk/Dialect/Array/IR/Ops.h"
#include "llzk/Dialect/POD/IR/Ops.h"
#include "llzk/Dialect/Polymorphic/IR/Ops.h"
#include "llzk/Dialect/Polymorphic/Util/StructSpecialization.h"
#include "llzk/Util/SymbolHelper.h"
#include "llzk/Util/TypeHelper.h"

Include dependency graph for ConstraintStorage.h:

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

Go to the source code of this file.

Classes
struct	llzk::polymorphic::detail::StorageDescription
	Transient description derived from immutable storage accesses, not an environment. More...
class	llzk::polymorphic::detail::ConstraintStorage
	Resolve concrete components and signal provenance directly from original SSA. More...

Namespaces
namespace	llzk
namespace	llzk::polymorphic
namespace	llzk::polymorphic::detail
	Common interface for constant parameter-like symbol operations that can be defined within a TemplateOp.