FreeTensor
Loading...
Searching...
No Matches
Public Member Functions | Protected Member Functions | List of all members
freetensor::AsDNF Class Reference

#include <as_dnf.h>

Inheritance diagram for freetensor::AsDNF:
Inheritance graph
[legend]
Collaboration diagram for freetensor::AsDNF:
Collaboration graph
[legend]

Public Member Functions

const DNFresults (const Expr &root) const
 
- Public Member Functions inherited from freetensor::Visitor
virtual ~Visitor ()
 
virtual void operator() (const AST &op) final
 

Protected Member Functions

void visitExpr (const Expr &op) override
 
void visit (const LAnd &op) override
 
void visit (const LOr &op) override
 
void visit (const LNot &op) override
 
void visit (const EQ &op) override
 
void visit (const NE &op) override
 
void visit (const LE &op) override
 
void visit (const LT &op) override
 
void visit (const GE &op) override
 
void visit (const GT &op) override
 
void visit (const Load &op) override
 
void visit (const Unbound &op) override
 
- Protected Member Functions inherited from freetensor::Visitor
virtual void visitExpr (const Expr &op)
 
virtual void visitStmt (const Stmt &op)
 
virtual void visit (const Any &op)
 
virtual void visit (const AnyExpr &op)
 
virtual void visit (const Func &op)
 
virtual void visit (const StmtSeq &op)
 
virtual void visit (const VarDef &op)
 
virtual void visit (const Var &op)
 
virtual void visit (const Store &op)
 
virtual void visit (const Alloc &op)
 
virtual void visit (const Free &op)
 
virtual void visit (const Load &op)
 
virtual void visit (const ReduceTo &op)
 
virtual void visit (const IntConst &op)
 
virtual void visit (const FloatConst &op)
 
virtual void visit (const BoolConst &op)
 
virtual void visit (const Add &op)
 
virtual void visit (const Sub &op)
 
virtual void visit (const Mul &op)
 
virtual void visit (const RealDiv &op)
 
virtual void visit (const FloorDiv &op)
 
virtual void visit (const CeilDiv &op)
 
virtual void visit (const RoundTowards0Div &op)
 
virtual void visit (const Mod &op)
 
virtual void visit (const Remainder &op)
 
virtual void visit (const Min &op)
 
virtual void visit (const Max &op)
 
virtual void visit (const LT &op)
 
virtual void visit (const LE &op)
 
virtual void visit (const GT &op)
 
virtual void visit (const GE &op)
 
virtual void visit (const EQ &op)
 
virtual void visit (const NE &op)
 
virtual void visit (const LAnd &op)
 
virtual void visit (const LOr &op)
 
virtual void visit (const LNot &op)
 
virtual void visit (const Sqrt &op)
 
virtual void visit (const Exp &op)
 
virtual void visit (const Ln &op)
 
virtual void visit (const Square &op)
 
virtual void visit (const Sigmoid &op)
 
virtual void visit (const Sin &op)
 
virtual void visit (const Cos &op)
 
virtual void visit (const Tan &op)
 
virtual void visit (const Tanh &op)
 
virtual void visit (const Abs &op)
 
virtual void visit (const Floor &op)
 
virtual void visit (const Ceil &op)
 
virtual void visit (const Unbound &op)
 
virtual void visit (const For &op)
 
virtual void visit (const If &op)
 
virtual void visit (const Assert &op)
 
virtual void visit (const Assume &op)
 
virtual void visit (const IfExpr &op)
 
virtual void visit (const Cast &op)
 
virtual void visit (const Intrinsic &op)
 
virtual void visit (const Eval &op)
 
virtual void visit (const MatMul &op)
 
virtual void visit (const MarkVersion &op)
 
virtual void visit (const LoadAtVersion &op)
 

Additional Inherited Members

- Public Types inherited from freetensor::Visitor
typedef void ExprRetType
 
typedef void StmtRetType
 

Member Function Documentation

◆ results()

const DNF & freetensor::AsDNF::results ( const Expr root) const
inline

◆ visit() [1/11]

void freetensor::AsDNF::visit ( const EQ op)
overrideprotectedvirtual

Reimplemented from freetensor::Visitor.

◆ visit() [2/11]

void freetensor::AsDNF::visit ( const GE op)
overrideprotectedvirtual

Reimplemented from freetensor::Visitor.

◆ visit() [3/11]

void freetensor::AsDNF::visit ( const GT op)
overrideprotectedvirtual

Reimplemented from freetensor::Visitor.

◆ visit() [4/11]

void freetensor::AsDNF::visit ( const LAnd op)
overrideprotectedvirtual

Reimplemented from freetensor::Visitor.

◆ visit() [5/11]

void freetensor::AsDNF::visit ( const LE op)
overrideprotectedvirtual

Reimplemented from freetensor::Visitor.

◆ visit() [6/11]

void freetensor::AsDNF::visit ( const LNot op)
overrideprotectedvirtual

Reimplemented from freetensor::Visitor.

◆ visit() [7/11]

void freetensor::AsDNF::visit ( const Load op)
overrideprotectedvirtual

Reimplemented from freetensor::Visitor.

◆ visit() [8/11]

void freetensor::AsDNF::visit ( const LOr op)
overrideprotectedvirtual

Reimplemented from freetensor::Visitor.

◆ visit() [9/11]

void freetensor::AsDNF::visit ( const LT op)
overrideprotectedvirtual

Reimplemented from freetensor::Visitor.

◆ visit() [10/11]

void freetensor::AsDNF::visit ( const NE op)
overrideprotectedvirtual

Reimplemented from freetensor::Visitor.

◆ visit() [11/11]

void freetensor::AsDNF::visit ( const Unbound op)
overrideprotectedvirtual

Reimplemented from freetensor::Visitor.

◆ visitExpr()

void freetensor::AsDNF::visitExpr ( const Expr op)
overrideprotectedvirtual

Reimplemented from freetensor::Visitor.


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