CppClingo::Input::RewriteContext::pop_ Struct Reference

Helper to pop auxiliary variable assignments. More...

#include <rewrite_context.hh>

Public Member Functions
void	operator() (RewriteContext *ctx) const
	Pop the last variable term map pushed.

Detailed Description

Helper to pop auxiliary variable assignments.

---

The documentation for this struct was generated from the following file:

• clingo/input/rewrite/rewrite_context.hh