P4Tools::P4Testgen::CommandVisitor Class Reference

Public Member Functions
	CommandVisitor (SmallStepEvaluator &self, ExecutionState &state)
Result	operator() (const Continuation::Guard &guard)
Result	operator() (const Continuation::PropertyUpdate &e)
Result	operator() (const IR::Node *node)
Result	operator() (const TraceEvent *event)
Result	operator() (Continuation::Exception e)
Result	operator() (Continuation::Return ret)