llzk::function Namespace Reference

Namespaces
namespace	detail

Classes
class	CallOp
class	CallOpAdaptor
class	CallOpGenericAdaptor
class	ConstraintGen
	Marker for ops that are specific to constraint generation. More...
class	FuncDefOp
class	FuncDefOpAdaptor
class	FuncDefOpGenericAdaptor
class	FunctionDialect
class	ReturnOp
class	ReturnOpAdaptor
class	ReturnOpGenericAdaptor
class	WitnessGen
	Marker for ops that are specific to witness generation. More...

Functions
LogicalResult	verifyConstraintGenTraitImpl (Operation *op)
LogicalResult	verifyWitnessGenTraitImpl (Operation *op)
mlir::LogicalResult	verifyConstraintGenTraitImpl (mlir::Operation *op)
mlir::LogicalResult	verifyWitnessGenTraitImpl (mlir::Operation *op)

Function Documentation

verifyConstraintGenTraitImpl() [1/2]

mlir::LogicalResult llzk::function::verifyConstraintGenTraitImpl

(

mlir::Operation *

op

)

verifyConstraintGenTraitImpl() [2/2]

LogicalResult llzk::function::verifyConstraintGenTraitImpl

(

Operation *

op

)

Definition at line 30 of file OpTraits.cpp.

verifyWitnessGenTraitImpl() [1/2]

mlir::LogicalResult llzk::function::verifyWitnessGenTraitImpl

(

mlir::Operation *

op

)

verifyWitnessGenTraitImpl() [2/2]

LogicalResult llzk::function::verifyWitnessGenTraitImpl

(

Operation *

op

)

Definition at line 38 of file OpTraits.cpp.