term_helper.hh File Reference

#include "tests/tests.hh"
#include "gringo/term.hh"

Include dependency graph for term_helper.hh:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces
	Gringo
	Gringo::Test

Functions
std::unique_ptr< ValTerm >	Gringo::Test::val (Value v)
std::unique_ptr< VarTerm >	Gringo::Test::var (char const *x, int level=0)
std::unique_ptr< LinearTerm >	Gringo::Test::lin (char const *x, int m, int n)
std::unique_ptr< DotsTerm >	Gringo::Test::dots (UTerm &&left, UTerm &&right)
std::unique_ptr< UnOpTerm >	Gringo::Test::unop (UnOp op, UTerm &&arg)
std::unique_ptr< BinOpTerm >	Gringo::Test::binop (BinOp op, UTerm &&left, UTerm &&right)
template<class... T>
std::unique_ptr< FunctionTerm >	Gringo::Test::fun (char const *name, T &&...args)
template<class... T>
std::unique_ptr< LuaTerm >	Gringo::Test::lua (char const *name, T &&...args)
template<class... T>
std::unique_ptr< PoolTerm >	Gringo::Test::pool (T &&...args)
template<class... T>
UTermVec	Gringo::Test::termvec (T &&...args)