Gringo::Defines Class Reference

#include <term.hh>

Collaboration diagram for Gringo::Defines:

Public Types
using	DefMap = std::unordered_map< FWString, std::tuple< bool, Location, UTerm >>

Public Member Functions
	Defines ()
	Defines (Defines &&x)
void	add (Location const &loc, FWString name, UTerm &&value, bool defaultDef)
void	init ()
	Evaluates layered definitions and checks for cycles. More...
bool	empty () const
void	apply (Value x, Value &retVal, UTerm &retTerm, bool replace)
DefMap const &	defs () const
	~Defines ()

Member Typedef Documentation

using Gringo::Defines::DefMap = std::unordered_map<FWString, std::tuple<bool, Location, UTerm>>

Constructor & Destructor Documentation

Gringo::Defines::Defines ( )

default

Gringo::Defines::Defines ( Defines &&  x )

default

Gringo::Defines::~Defines

(

)

Member Function Documentation

void Gringo::Defines::add	(	Location const &	loc,
		FWString	name,
		UTerm &&	value,
		bool	defaultDef
	)

Add a define. Default defintions will not overwrite existing definitions and can be overwritten by other defines.

void Gringo::Defines::apply	(	Value	x,
		Value &	retVal,
		UTerm &	retTerm,
		bool	replace
	)

Here is the call graph for this function:

Defines::DefMap const & Gringo::Defines::defs

(

)

const

bool Gringo::Defines::empty

(

)

const

void Gringo::Defines::init

(

)

Evaluates layered definitions and checks for cycles.

Here is the call graph for this function:

---

The documentation for this class was generated from the following files:

• /Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libgringo/gringo/term.hh
• /Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libgringo/src/term.cc