Gringo::Input::Block Struct Reference

#include <program.hh>

Collaboration diagram for Gringo::Input::Block:

Public Member Functions
	Block (Location const &loc, FWString name, IdVec &&params)
Term const &	sig () const
	operator Term const & () const

Public Attributes
Location	loc
FWString	name
IdVec	params
ValVec	addedEdb
Ground::SEdb	edb
UStmVec	addedStms
UStmVec	stms

Constructor & Destructor Documentation

Gringo::Input::Block::Block	(	Location const &	loc,
		FWString	name,
		IdVec &&	params
	)

Member Function Documentation

Gringo::Input::Block::operator Term const &

(

)

const

Term const & Gringo::Input::Block::sig

(

)

const

Member Data Documentation

ValVec Gringo::Input::Block::addedEdb

UStmVec Gringo::Input::Block::addedStms

Ground::SEdb Gringo::Input::Block::edb

Location Gringo::Input::Block::loc

FWString Gringo::Input::Block::name

IdVec Gringo::Input::Block::params

UStmVec Gringo::Input::Block::stms

---

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

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