Visit Variables

Functions to visit variables in expressions. More...

Typedefs
using	CppClingo::Input::VarVisitFun = std::function< void(Location const &loc, String var)>
	A function to visit variable occurrences.

Enumerations
enum class	CppClingo::Input::VariableContext : uint8_t { VariableContext::global , VariableContext::all }
	Variable selection scopes. More...

Functions
void	CppClingo::Input::visit_variables (Term const &term, VarVisitFun fun)
	Visit variables with the given function.
void	CppClingo::Input::visit_variables (TheoryTerm const &term, VarVisitFun fun)
	Visit variables with the given function.
void	CppClingo::Input::visit_variables (TheoryElement const &term, VarVisitFun fun)
	Visit variables with the given function.
void	CppClingo::Input::visit_variables (Lit const &lit, VarVisitFun fun)
	Visit variables with the given function.
void	CppClingo::Input::visit_variables (CondLit const &lit, VarVisitFun fun)
	Visit variables with the given function.
void	CppClingo::Input::visit_variables (SetAggregateElement const &elem, VarVisitFun fun)
	Visit variables with the given function.
void	CppClingo::Input::visit_variables (HdLitAggregateElement const &elem, VarVisitFun fun)
	Visit variables with the given function.
void	CppClingo::Input::visit_variables (HdLit const &lit, VarVisitFun fun, VariableContext ctx)
	Visit variables in the given scope with the given function.
void	CppClingo::Input::visit_variables (BdLitAggregateElement const &elem, VarVisitFun fun)
	Visit variables with the given function.
void	CppClingo::Input::visit_variables (BdLit const &lit, VarVisitFun fun, VariableContext ctx)
	Visit variables in the given scope with the given function.
void	CppClingo::Input::visit_variables (OptimizeElement const &elem, VarVisitFun fun)
	Visit variables with the given function.
void	CppClingo::Input::visit_variables (Stm const &stm, VarVisitFun fun, VariableContext ctx)
	Visit variables in the given scope with the given function.
template<class T >
auto	CppClingo::Input::select_variables (T const &x, size_t size_hint=0) -> VariableSet
	Get all variables in an expression.
template<class T >
auto	CppClingo::Input::select_variables (T const &x, VariableContext context, size_t size_hint=0) -> VariableSet
	Get all variables in an expression in the given context.

Detailed Description

Functions to visit variables in expressions.

Enumeration Type Documentation

VariableContext

enum class CppClingo::Input::VariableContext : uint8_t

strong

Variable selection scopes.

See also

Statement::visit_variables()

Enumerator
global	Visit variables occurring in global scope.
all	Visit all variable occurrences.