Gringo::Output::LparseRule Struct Reference

#include <statements.hh>

Inheritance diagram for Gringo::Output::LparseRule:

Collaboration diagram for Gringo::Output::LparseRule:

Public Types
using	HeadVec = std::vector< std::reference_wrapper< PredicateDomain::element_type >>

Public Member Functions
	LparseRule (ULitVec &&body)
	LparseRule (ULit &&b1, ULit &&b2)
	LparseRule (SAuxAtom head, ULit &&b1, ULit &&b2)
	LparseRule (PredicateDomain::element_type &head, ULit &&b1, ULit &&b2=nullptr)
	LparseRule (SAuxAtom head, ULitVec &&body)
	LparseRule (PredicateDomain::element_type &head, ULitVec &&body)
	LparseRule (HeadVec &&head, SAuxAtomVec &&auxHead, ULitVec &&body, bool choice)
	LparseRule (HeadVec &&head, ULitVec &&body, bool choice)
	LparseRule (SAuxAtomVec &&head, ULitVec &&body, bool choice)
virtual void	printPlain (std::ostream &out) const
virtual void	toLparse (LparseTranslator &x)
virtual void	printLparse (LparseOutputter &out) const
virtual LparseRule *	clone () const
virtual bool	isIncomplete () const
virtual	~LparseRule ()
Public Member Functions inherited from Gringo::Output::Statement
virtual	~Statement ()
Public Member Functions inherited from Gringo::Clonable< Statement >
virtual	~Clonable ()

Public Attributes
bool	choice
HeadVec	head
SAuxAtomVec	auxHead
ULitVec	body

Member Typedef Documentation

using Gringo::Output::LparseRule::HeadVec = std::vector<std::reference_wrapper<PredicateDomain::element_type>>

Constructor & Destructor Documentation

Gringo::Output::LparseRule::LparseRule

(

ULitVec &&

body

)

Gringo::Output::LparseRule::LparseRule	(	ULit &&	b1,
		ULit &&	b2
	)

Gringo::Output::LparseRule::LparseRule	(	SAuxAtom	head,
		ULit &&	b1,
		ULit &&	b2
	)

Gringo::Output::LparseRule::LparseRule	(	PredicateDomain::element_type &	head,
		ULit &&	b1,
		ULit &&	b2 = nullptr
	)

Gringo::Output::LparseRule::LparseRule	(	SAuxAtom	head,
		ULitVec &&	body
	)

Gringo::Output::LparseRule::LparseRule	(	PredicateDomain::element_type &	head,
		ULitVec &&	body
	)

Gringo::Output::LparseRule::LparseRule	(	HeadVec &&	head,
		SAuxAtomVec &&	auxHead,
		ULitVec &&	body,
		bool	choice
	)

Gringo::Output::LparseRule::LparseRule	(	HeadVec &&	head,
		ULitVec &&	body,
		bool	choice
	)

Gringo::Output::LparseRule::LparseRule	(	SAuxAtomVec &&	head,
		ULitVec &&	body,
		bool	choice
	)

Gringo::Output::LparseRule::~LparseRule ( )

virtual

Member Function Documentation

LparseRule * Gringo::Output::LparseRule::clone ( ) const

virtual

Implements Gringo::Clonable< Statement >.

Here is the call graph for this function:

bool Gringo::Output::LparseRule::isIncomplete ( ) const

virtual

Implements Gringo::Output::Statement.

void Gringo::Output::LparseRule::printLparse ( LparseOutputter &  out ) const

virtual

Implements Gringo::Output::Statement.

Here is the call graph for this function:

void Gringo::Output::LparseRule::printPlain ( std::ostream &  out ) const

virtual

Implements Gringo::Output::Statement.

Here is the call graph for this function:

void Gringo::Output::LparseRule::toLparse ( LparseTranslator &  x )

virtual

Implements Gringo::Output::Statement.

Here is the call graph for this function:

Member Data Documentation

SAuxAtomVec Gringo::Output::LparseRule::auxHead

ULitVec Gringo::Output::LparseRule::body

bool Gringo::Output::LparseRule::choice

HeadVec Gringo::Output::LparseRule::head

---

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

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