terms.hh File Reference

#include <gringo/base.hh>
#include <gringo/term.hh>
#include <functional>

Include dependency graph for terms.hh:

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

Go to the source code of this file.

Classes
struct	Gringo::CSPMulTerm
struct	Gringo::clone< CSPMulTerm >
struct	Gringo::CSPAddTerm
struct	Gringo::clone< CSPAddTerm >
struct	Gringo::CSPRelTerm
struct	Gringo::clone< CSPRelTerm >

Namespaces
	Gringo

Typedefs
using	Gringo::CSPGroundAdd = std::vector< std::pair< int, Value >>
using	Gringo::CSPGroundLit = std::tuple< Relation, CSPGroundAdd, int >

Functions
std::ostream &	Gringo::operator<< (std::ostream &out, CSPMulTerm const &x)
std::ostream &	Gringo::operator<< (std::ostream &out, CSPAddTerm const &x)
std::ostream &	Gringo::operator<< (std::ostream &out, CSPRelTerm const &x)