P4::DoRemoveAssertAssume Class Reference

Inheritance diagram for P4::DoRemoveAssertAssume:

Public Member Functions
	DoRemoveAssertAssume (P4::ReferenceMap *refMap, P4::TypeMap *typeMap)
const IR::Node *	preorder (IR::MethodCallStatement *statement) override