#include <z3_simplify.h>

Inheritance diagram for freetensor::Z3SimplifyWithSymbolTable:

Collaboration diagram for freetensor::Z3SimplifyWithSymbolTable:

Public Member Functions
const std::unordered_set< std::string > &	names () const override

const std::unordered_map< std::string, VarDef > &	defs () const override

const std::unordered_map< std::string, For > &	loops () const override

bool	hasDef (const std::string &name) const override

const VarDef &	def (const std::string &name) const override

Ref< Buffer >	buffer (const std::string &name) const override

bool	hasLoop (const std::string &name) const override

const For &	loop (const std::string &name) const override

void	pushDef (const VarDef &op) override

void	popDef (const VarDef &op) override

void	pushFor (const For &op) override

void	popFor (const For &op) override

Public Member Functions inherited from freetensor::Z3Simplify
	Z3Simplify ()

Public Member Functions inherited from freetensor::Mutator
virtual	~Mutator ()

virtual Stmt	operator() (const Stmt &op) final

virtual Expr	operator() (const Expr &op) final

virtual const std::unordered_set< std::string > &	names () const =0

virtual const std::unordered_map< std::string, VarDef > &	defs () const =0

virtual const std::unordered_map< std::string, For > &	loops () const =0

virtual bool	hasDef (const std::string &name) const =0

virtual const VarDef &	def (const std::string &name) const =0

virtual Ref< Buffer >	buffer (const std::string &name) const =0

virtual bool	hasLoop (const std::string &name) const =0

virtual const For &	loop (const std::string &name) const =0

virtual void	pushDef (const VarDef &op)=0

virtual void	popDef (const VarDef &op)=0

virtual void	pushFor (const For &op)=0

virtual void	popFor (const For &op)=0

Protected Member Functions
Stmt	visit (const VarDef &op) override

Stmt	visit (const For &op) override

Expr	visit (const Var &op) override

Expr	visit (const Load &op) override

Expr	visit (const IntConst &op) override

Expr	visit (const BoolConst &op) override

Expr	visit (const Add &op) override

Expr	visit (const Sub &op) override

Expr	visit (const Mul &op) override

Expr	visit (const FloorDiv &op) override

Expr	visit (const CeilDiv &op) override

Expr	visit (const Mod &op) override

Expr	visit (const Min &op) override

Expr	visit (const Max &op) override

Expr	visit (const LT &op) override

Expr	visit (const LE &op) override

Expr	visit (const GT &op) override

Expr	visit (const GE &op) override

Expr	visit (const EQ &op) override

Expr	visit (const NE &op) override

Expr	visit (const LAnd &op) override

Expr	visit (const LOr &op) override

Expr	visit (const LNot &op) override

Expr	visit (const IfExpr &op) override

Stmt	visit (const If &op) override

Stmt	visit (const Assert &op) override

Stmt	visit (const Assume &op) override

Stmt	visit (const For &op) override

virtual Stmt	visit (const Any &op)

virtual Stmt	visit (const StmtSeq &op)

virtual Stmt	visit (const VarDef &op)

virtual Expr	visit (const Var &op)

virtual Stmt	visit (const Store &op)

virtual Stmt	visit (const Alloc &op)

virtual Stmt	visit (const Free &op)

virtual Expr	visit (const Load &op)

virtual Stmt	visit (const ReduceTo &op)

virtual Expr	visit (const AnyExpr &op)

virtual Expr	visit (const IntConst &op)

virtual Expr	visit (const FloatConst &op)

virtual Expr	visit (const BoolConst &op)

virtual Expr	visit (const Add &op)

virtual Expr	visit (const Sub &op)

virtual Expr	visit (const Mul &op)

virtual Expr	visit (const RealDiv &op)

virtual Expr	visit (const FloorDiv &op)

virtual Expr	visit (const CeilDiv &op)

virtual Expr	visit (const RoundTowards0Div &op)

virtual Expr	visit (const Mod &op)

virtual Expr	visit (const Remainder &op)

virtual Expr	visit (const Min &op)

virtual Expr	visit (const Max &op)

virtual Expr	visit (const LT &op)

virtual Expr	visit (const LE &op)

virtual Expr	visit (const GT &op)

virtual Expr	visit (const GE &op)

virtual Expr	visit (const EQ &op)

virtual Expr	visit (const NE &op)

virtual Expr	visit (const LAnd &op)

virtual Expr	visit (const LOr &op)

virtual Expr	visit (const LNot &op)

virtual Expr	visit (const Sqrt &op)

virtual Expr	visit (const Exp &op)

virtual Expr	visit (const Ln &op)

virtual Expr	visit (const Square &op)

virtual Expr	visit (const Sigmoid &op)

virtual Expr	visit (const Sin &op)

virtual Expr	visit (const Cos &op)

virtual Expr	visit (const Tan &op)

virtual Expr	visit (const Tanh &op)

virtual Expr	visit (const Abs &op)

virtual Expr	visit (const Floor &op)

virtual Expr	visit (const Ceil &op)

virtual Expr	visit (const Unbound &op)

virtual Stmt	visit (const For &op)

virtual Stmt	visit (const If &op)

virtual Stmt	visit (const Assert &op)

virtual Stmt	visit (const Assume &op)

virtual Expr	visit (const IfExpr &op)

virtual Expr	visit (const Cast &op)

virtual Expr	visit (const Intrinsic &op)

virtual Stmt	visit (const Eval &op)

virtual Stmt	visit (const MatMul &op)

virtual Stmt	visit (const MarkVersion &op)

virtual Expr	visit (const LoadAtVersion &op)

Protected Member Functions inherited from freetensor::Z3Simplify
int	getVarId (const Expr &op)

void	put (const Expr &key, const z3::expr &expr, const std::vector< std::optional< z3::expr > > &conds={})

bool	exists (const Expr &key)

const z3::expr &	get (const Expr &key)

const std::vector< std::optional< z3::expr > > &	conds (const Expr &key)

void	push (const Expr &op)

void	pop ()

bool	prove (const Expr &op)

Expr	visit (const Var &op) override

Expr	visit (const Load &op) override

Expr	visit (const IntConst &op) override

Expr	visit (const BoolConst &op) override

Expr	visit (const Add &op) override

Expr	visit (const Sub &op) override

Expr	visit (const Mul &op) override

Expr	visit (const FloorDiv &op) override

Expr	visit (const CeilDiv &op) override

Expr	visit (const Mod &op) override

Expr	visit (const Min &op) override

Expr	visit (const Max &op) override

Expr	visit (const LT &op) override

Expr	visit (const LE &op) override

Expr	visit (const GT &op) override

Expr	visit (const GE &op) override

Expr	visit (const EQ &op) override

Expr	visit (const NE &op) override

Expr	visit (const LAnd &op) override

Expr	visit (const LOr &op) override

Expr	visit (const LNot &op) override

Expr	visit (const IfExpr &op) override

Stmt	visit (const If &op) override

Stmt	visit (const Assert &op) override

Stmt	visit (const Assume &op) override

Stmt	visit (const For &op) override

virtual Stmt	visit (const Any &op)

virtual Stmt	visit (const StmtSeq &op)

virtual Stmt	visit (const VarDef &op)

virtual Expr	visit (const Var &op)

virtual Stmt	visit (const Store &op)

virtual Stmt	visit (const Alloc &op)

virtual Stmt	visit (const Free &op)

virtual Expr	visit (const Load &op)

virtual Stmt	visit (const ReduceTo &op)

virtual Expr	visit (const AnyExpr &op)

virtual Expr	visit (const IntConst &op)

virtual Expr	visit (const FloatConst &op)

virtual Expr	visit (const BoolConst &op)

virtual Expr	visit (const Add &op)

virtual Expr	visit (const Sub &op)

virtual Expr	visit (const Mul &op)

virtual Expr	visit (const RealDiv &op)

virtual Expr	visit (const FloorDiv &op)

virtual Expr	visit (const CeilDiv &op)

virtual Expr	visit (const RoundTowards0Div &op)

virtual Expr	visit (const Mod &op)

virtual Expr	visit (const Remainder &op)

virtual Expr	visit (const Min &op)

virtual Expr	visit (const Max &op)

virtual Expr	visit (const LT &op)

virtual Expr	visit (const LE &op)

virtual Expr	visit (const GT &op)

virtual Expr	visit (const GE &op)

virtual Expr	visit (const EQ &op)

virtual Expr	visit (const NE &op)

virtual Expr	visit (const LAnd &op)

virtual Expr	visit (const LOr &op)

virtual Expr	visit (const LNot &op)

virtual Expr	visit (const Sqrt &op)

virtual Expr	visit (const Exp &op)

virtual Expr	visit (const Ln &op)

virtual Expr	visit (const Square &op)

virtual Expr	visit (const Sigmoid &op)

virtual Expr	visit (const Sin &op)

virtual Expr	visit (const Cos &op)

virtual Expr	visit (const Tan &op)

virtual Expr	visit (const Tanh &op)

virtual Expr	visit (const Abs &op)

virtual Expr	visit (const Floor &op)

virtual Expr	visit (const Ceil &op)

virtual Expr	visit (const Unbound &op)

virtual Stmt	visit (const For &op)

virtual Stmt	visit (const If &op)

virtual Stmt	visit (const Assert &op)

virtual Stmt	visit (const Assume &op)

virtual Expr	visit (const IfExpr &op)

virtual Expr	visit (const Cast &op)

virtual Expr	visit (const Intrinsic &op)

virtual Stmt	visit (const Eval &op)

virtual Stmt	visit (const MatMul &op)

virtual Stmt	visit (const MarkVersion &op)

virtual Expr	visit (const LoadAtVersion &op)

Protected Member Functions inherited from freetensor::Mutator
virtual Expr	visitExpr (const Expr &op)

virtual Stmt	visitStmt (const Stmt &op)

virtual Stmt	visit (const Any &op)

virtual Stmt	visit (const StmtSeq &op)

virtual Stmt	visit (const VarDef &op)

virtual Expr	visit (const Var &op)

virtual Stmt	visit (const Store &op)

virtual Stmt	visit (const Alloc &op)

virtual Stmt	visit (const Free &op)

virtual Expr	visit (const Load &op)

virtual Stmt	visit (const ReduceTo &op)

virtual Expr	visit (const AnyExpr &op)

virtual Expr	visit (const IntConst &op)

virtual Expr	visit (const FloatConst &op)

virtual Expr	visit (const BoolConst &op)

virtual Expr	visit (const Add &op)

virtual Expr	visit (const Sub &op)

virtual Expr	visit (const Mul &op)

virtual Expr	visit (const RealDiv &op)

virtual Expr	visit (const FloorDiv &op)

virtual Expr	visit (const CeilDiv &op)

virtual Expr	visit (const RoundTowards0Div &op)

virtual Expr	visit (const Mod &op)

virtual Expr	visit (const Remainder &op)

virtual Expr	visit (const Min &op)

virtual Expr	visit (const Max &op)

virtual Expr	visit (const LT &op)

virtual Expr	visit (const LE &op)

virtual Expr	visit (const GT &op)

virtual Expr	visit (const GE &op)

virtual Expr	visit (const EQ &op)

virtual Expr	visit (const NE &op)

virtual Expr	visit (const LAnd &op)

virtual Expr	visit (const LOr &op)

virtual Expr	visit (const LNot &op)

virtual Expr	visit (const Sqrt &op)

virtual Expr	visit (const Exp &op)

virtual Expr	visit (const Ln &op)

virtual Expr	visit (const Square &op)

virtual Expr	visit (const Sigmoid &op)

virtual Expr	visit (const Sin &op)

virtual Expr	visit (const Cos &op)

virtual Expr	visit (const Tan &op)

virtual Expr	visit (const Tanh &op)

virtual Expr	visit (const Abs &op)

virtual Expr	visit (const Floor &op)

virtual Expr	visit (const Ceil &op)

virtual Expr	visit (const Unbound &op)

virtual Stmt	visit (const For &op)

virtual Stmt	visit (const If &op)

virtual Stmt	visit (const Assert &op)

virtual Stmt	visit (const Assume &op)

virtual Expr	visit (const IfExpr &op)

virtual Expr	visit (const Cast &op)

virtual Expr	visit (const Intrinsic &op)

virtual Stmt	visit (const Eval &op)

virtual Stmt	visit (const MatMul &op)

virtual Stmt	visit (const MarkVersion &op)

virtual Expr	visit (const LoadAtVersion &op)

Additional Inherited Members
Public Types inherited from freetensor::Mutator
typedef Expr	ExprRetType

typedef Stmt	StmtRetType

Detailed Description

Compatible inheritence of both Z3Simplify and SymbolTable

Member Function Documentation

◆ buffer()

Ref< Buffer > freetensor::Z3SimplifyWithSymbolTable::buffer ( const std::string & name ) const

inlineoverridevirtual

Implements freetensor::SymbolTableInterface.

◆ def()

const VarDef & freetensor::Z3SimplifyWithSymbolTable::def ( const std::string & name ) const

inlineoverridevirtual

Implements freetensor::SymbolTableInterface.

◆ defs()

const std::unordered_map< std::string, VarDef > & freetensor::Z3SimplifyWithSymbolTable::defs ( ) const

inlineoverridevirtual

Implements freetensor::SymbolTableInterface.

◆ hasDef()

bool freetensor::Z3SimplifyWithSymbolTable::hasDef ( const std::string & name ) const

inlineoverridevirtual

Implements freetensor::SymbolTableInterface.

◆ hasLoop()

bool freetensor::Z3SimplifyWithSymbolTable::hasLoop ( const std::string & name ) const

inlineoverridevirtual

Implements freetensor::SymbolTableInterface.

◆ loop()

const For & freetensor::Z3SimplifyWithSymbolTable::loop ( const std::string & name ) const

inlineoverridevirtual

Implements freetensor::SymbolTableInterface.

◆ loops()

const std::unordered_map< std::string, For > & freetensor::Z3SimplifyWithSymbolTable::loops ( ) const

inlineoverridevirtual

Implements freetensor::SymbolTableInterface.

◆ names()

const std::unordered_set< std::string > & freetensor::Z3SimplifyWithSymbolTable::names ( ) const

inlineoverridevirtual

Implements freetensor::SymbolTableInterface.

◆ popDef()

void freetensor::Z3SimplifyWithSymbolTable::popDef ( const VarDef & op )

inlineoverridevirtual

Implements freetensor::SymbolTableInterface.

◆ popFor()

void freetensor::Z3SimplifyWithSymbolTable::popFor ( const For & op )

inlineoverridevirtual

Implements freetensor::SymbolTableInterface.

◆ pushDef()

void freetensor::Z3SimplifyWithSymbolTable::pushDef ( const VarDef & op )

inlineoverridevirtual

Implements freetensor::SymbolTableInterface.

◆ pushFor()

void freetensor::Z3SimplifyWithSymbolTable::pushFor ( const For & op )

inlineoverridevirtual

Implements freetensor::SymbolTableInterface.

◆ visit() [1/85]

virtual Expr freetensor::Mutator::visit ( const Abs & op )

inlineprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [2/85]

virtual Expr freetensor::Mutator::visit ( const Add & op )

inlineprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [3/85]

Expr freetensor::Z3Simplify::visit ( const Add & op )

overrideprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [4/85]

virtual Stmt freetensor::Mutator::visit ( const Alloc & op )

inlineprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [5/85]

virtual Stmt freetensor::Mutator::visit ( const Any & op )

inlineprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [6/85]

virtual Expr freetensor::Mutator::visit ( const AnyExpr & op )

inlineprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [7/85]

virtual Stmt freetensor::Mutator::visit ( const Assert & op )

inlineprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [8/85]

Stmt freetensor::Z3Simplify::visit ( const Assert & op )

overrideprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [9/85]

virtual Stmt freetensor::Mutator::visit ( const Assume & op )

inlineprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [10/85]

Stmt freetensor::Z3Simplify::visit ( const Assume & op )

overrideprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [11/85]

virtual Expr freetensor::Mutator::visit ( const BoolConst & op )

inlineprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [12/85]

Expr freetensor::Z3Simplify::visit ( const BoolConst & op )

overrideprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [13/85]

virtual Expr freetensor::Mutator::visit ( const Cast & op )

inlineprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [14/85]

virtual Expr freetensor::Mutator::visit ( const Ceil & op )

inlineprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [15/85]

virtual Expr freetensor::Mutator::visit ( const CeilDiv & op )

inlineprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [16/85]

Expr freetensor::Z3Simplify::visit ( const CeilDiv & op )

overrideprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [17/85]

virtual Expr freetensor::Mutator::visit ( const Cos & op )

inlineprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [18/85]

virtual Expr freetensor::Mutator::visit ( const EQ & op )

inlineprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [19/85]

Expr freetensor::Z3Simplify::visit ( const EQ & op )

overrideprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [20/85]

virtual Stmt freetensor::Mutator::visit ( const Eval & op )

inlineprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [21/85]

virtual Expr freetensor::Mutator::visit ( const Exp & op )

inlineprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [22/85]

virtual Expr freetensor::Mutator::visit ( const FloatConst & op )

inlineprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [23/85]

virtual Expr freetensor::Mutator::visit ( const Floor & op )

inlineprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [24/85]

virtual Expr freetensor::Mutator::visit ( const FloorDiv & op )

inlineprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [25/85]

Expr freetensor::Z3Simplify::visit ( const FloorDiv & op )

overrideprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [26/85]

virtual Stmt freetensor::Mutator::visit ( const For & op )

inlineprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [27/85]

Stmt freetensor::Z3Simplify::visit ( const For & op )

overrideprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [28/85]

Stmt freetensor::Z3SimplifyWithSymbolTable::visit ( const For & op )

overrideprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [29/85]

virtual Stmt freetensor::Mutator::visit ( const Free & op )

inlineprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [30/85]

virtual Expr freetensor::Mutator::visit ( const GE & op )

inlineprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [31/85]

Expr freetensor::Z3Simplify::visit ( const GE & op )

overrideprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [32/85]

virtual Expr freetensor::Mutator::visit ( const GT & op )

inlineprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [33/85]

Expr freetensor::Z3Simplify::visit ( const GT & op )

overrideprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [34/85]

virtual Stmt freetensor::Mutator::visit ( const If & op )

inlineprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [35/85]

Stmt freetensor::Z3Simplify::visit ( const If & op )

overrideprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [36/85]

virtual Expr freetensor::Mutator::visit ( const IfExpr & op )

inlineprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [37/85]

Expr freetensor::Z3Simplify::visit ( const IfExpr & op )

overrideprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [38/85]

virtual Expr freetensor::Mutator::visit ( const IntConst & op )

inlineprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [39/85]

Expr freetensor::Z3Simplify::visit ( const IntConst & op )

overrideprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [40/85]

virtual Expr freetensor::Mutator::visit ( const Intrinsic & op )

inlineprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [41/85]

virtual Expr freetensor::Mutator::visit ( const LAnd & op )

inlineprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [42/85]

Expr freetensor::Z3Simplify::visit ( const LAnd & op )

overrideprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [43/85]

virtual Expr freetensor::Mutator::visit ( const LE & op )

inlineprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [44/85]

Expr freetensor::Z3Simplify::visit ( const LE & op )

overrideprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [45/85]

virtual Expr freetensor::Mutator::visit ( const Ln & op )

inlineprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [46/85]

virtual Expr freetensor::Mutator::visit ( const LNot & op )

inlineprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [47/85]

Expr freetensor::Z3Simplify::visit ( const LNot & op )

overrideprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [48/85]

virtual Expr freetensor::Mutator::visit ( const Load & op )

inlineprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [49/85]

Expr freetensor::Z3Simplify::visit ( const Load & op )

overrideprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [50/85]

virtual Expr freetensor::Mutator::visit ( const LoadAtVersion & op )

inlineprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [51/85]

virtual Expr freetensor::Mutator::visit ( const LOr & op )

inlineprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [52/85]

Expr freetensor::Z3Simplify::visit ( const LOr & op )

overrideprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [53/85]

virtual Expr freetensor::Mutator::visit ( const LT & op )

inlineprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [54/85]

Expr freetensor::Z3Simplify::visit ( const LT & op )

overrideprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [55/85]

virtual Stmt freetensor::Mutator::visit ( const MarkVersion & op )

inlineprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [56/85]

virtual Stmt freetensor::Mutator::visit ( const MatMul & op )

inlineprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [57/85]

virtual Expr freetensor::Mutator::visit ( const Max & op )

inlineprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [58/85]

Expr freetensor::Z3Simplify::visit ( const Max & op )

overrideprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [59/85]

virtual Expr freetensor::Mutator::visit ( const Min & op )

inlineprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [60/85]

Expr freetensor::Z3Simplify::visit ( const Min & op )

overrideprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [61/85]

virtual Expr freetensor::Mutator::visit ( const Mod & op )

inlineprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [62/85]

Expr freetensor::Z3Simplify::visit ( const Mod & op )

overrideprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [63/85]

virtual Expr freetensor::Mutator::visit ( const Mul & op )

inlineprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [64/85]

Expr freetensor::Z3Simplify::visit ( const Mul & op )

overrideprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [65/85]

virtual Expr freetensor::Mutator::visit ( const NE & op )

inlineprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [66/85]

Expr freetensor::Z3Simplify::visit ( const NE & op )

overrideprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [67/85]

virtual Expr freetensor::Mutator::visit ( const RealDiv & op )

inlineprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [68/85]

virtual Stmt freetensor::Mutator::visit ( const ReduceTo & op )

inlineprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [69/85]

virtual Expr freetensor::Mutator::visit ( const Remainder & op )

inlineprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [70/85]

virtual Expr freetensor::Mutator::visit ( const RoundTowards0Div & op )

inlineprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [71/85]

virtual Expr freetensor::Mutator::visit ( const Sigmoid & op )

inlineprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [72/85]

virtual Expr freetensor::Mutator::visit ( const Sin & op )

inlineprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [73/85]

virtual Expr freetensor::Mutator::visit ( const Sqrt & op )

inlineprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [74/85]

virtual Expr freetensor::Mutator::visit ( const Square & op )

inlineprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [75/85]

virtual Stmt freetensor::Mutator::visit ( const StmtSeq & op )

inlineprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [76/85]

virtual Stmt freetensor::Mutator::visit ( const Store & op )

inlineprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [77/85]

virtual Expr freetensor::Mutator::visit ( const Sub & op )

inlineprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [78/85]

Expr freetensor::Z3Simplify::visit ( const Sub & op )

overrideprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [79/85]

virtual Expr freetensor::Mutator::visit ( const Tan & op )

inlineprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [80/85]

virtual Expr freetensor::Mutator::visit ( const Tanh & op )

inlineprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [81/85]

virtual Expr freetensor::Mutator::visit ( const Unbound & op )

inlineprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [82/85]

virtual Expr freetensor::Mutator::visit ( const Var & op )

inlineprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [83/85]

Expr freetensor::Z3Simplify::visit ( const Var & op )

overrideprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [84/85]

virtual Stmt freetensor::Mutator::visit ( const VarDef & op )

inlineprotectedvirtual

Reimplemented from freetensor::Z3Simplify.

◆ visit() [85/85]

Stmt freetensor::Z3SimplifyWithSymbolTable::visit ( const VarDef & op )

overrideprotectedvirtual

Reimplemented from freetensor::Mutator.

The documentation for this class was generated from the following files:

include/pass/z3_simplify.h
src/pass/z3_simplify.cc

Public Member Functions

Protected Member Functions

Additional Inherited Members

Detailed Description

Member Function Documentation

◆ buffer()

◆ def()

◆ defs()

◆ hasDef()

◆ hasLoop()

◆ loop()

◆ loops()

◆ names()

◆ popDef()

◆ popFor()

◆ pushDef()

◆ pushFor()

◆ visit() [1/85]

◆ visit() [2/85]

◆ visit() [3/85]

◆ visit() [4/85]

◆ visit() [5/85]

◆ visit() [6/85]

◆ visit() [7/85]

◆ visit() [8/85]

◆ visit() [9/85]

◆ visit() [10/85]

◆ visit() [11/85]

◆ visit() [12/85]

◆ visit() [13/85]

◆ visit() [14/85]

◆ visit() [15/85]

◆ visit() [16/85]

◆ visit() [17/85]

◆ visit() [18/85]

◆ visit() [19/85]

◆ visit() [20/85]

◆ visit() [21/85]

◆ visit() [22/85]

◆ visit() [23/85]

◆ visit() [24/85]

◆ visit() [25/85]

◆ visit() [26/85]

◆ visit() [27/85]

◆ visit() [28/85]

◆ visit() [29/85]

◆ visit() [30/85]

◆ visit() [31/85]

◆ visit() [32/85]

◆ visit() [33/85]

◆ visit() [34/85]

◆ visit() [35/85]

◆ visit() [36/85]

◆ visit() [37/85]

◆ visit() [38/85]

◆ visit() [39/85]

◆ visit() [40/85]

◆ visit() [41/85]

◆ visit() [42/85]

◆ visit() [43/85]

◆ visit() [44/85]

◆ visit() [45/85]

◆ visit() [46/85]

◆ visit() [47/85]

◆ visit() [48/85]

◆ visit() [49/85]

◆ visit() [50/85]

◆ visit() [51/85]

◆ visit() [52/85]

◆ visit() [53/85]

◆ visit() [54/85]

◆ visit() [55/85]

◆ visit() [56/85]

◆ visit() [57/85]

◆ visit() [58/85]

◆ visit() [59/85]

◆ visit() [60/85]

◆ visit() [61/85]

◆ visit() [62/85]

◆ visit() [63/85]