Gringo::Ground::WeakConstraint Struct Reference

#include <statements.hh>

Inheritance diagram for Gringo::Ground::WeakConstraint:

Collaboration diagram for Gringo::Ground::WeakConstraint:

Public Member Functions
	WeakConstraint (UTermVec &&tuple, ULitVec &&body)
virtual bool	isNormal () const
virtual void	analyze (Dep::Node &node, Dep &dep)
virtual void	startLinearize (bool active)
virtual void	linearize (Scripts &scripts, bool positive)
virtual void	enqueue (Queue &q)
virtual void	print (std::ostream &out) const
virtual void	mark ()
virtual void	report (Output::OutputBase &out)
virtual void	unmark (Queue &queue)
virtual void	printHead (std::ostream &out) const
virtual	~WeakConstraint ()
Public Member Functions inherited from Gringo::Ground::Statement
virtual	~Statement ()
Public Member Functions inherited from Gringo::Printable
virtual	~Printable ()
Public Member Functions inherited from Gringo::Ground::SolutionCallback
virtual	~SolutionCallback ()

Public Attributes
UTermVec	tuple
ULitVec	lits
InstVec	insts

Additional Inherited Members
Public Types inherited from Gringo::Ground::Statement
typedef Dependency< UStm, HeadOccurrence >	Dep

Constructor & Destructor Documentation

Gringo::Ground::WeakConstraint::WeakConstraint	(	UTermVec &&	tuple,
		ULitVec &&	body
	)

Gringo::Ground::WeakConstraint::~WeakConstraint ( )

virtual

Member Function Documentation

void Gringo::Ground::WeakConstraint::analyze ( Dep::Node &  node, Dep &  dep  )

virtual

Implements Gringo::Ground::Statement.

void Gringo::Ground::WeakConstraint::enqueue ( Queue &  q )

virtual

Implements Gringo::Ground::Statement.

bool Gringo::Ground::WeakConstraint::isNormal ( ) const

virtual

Implements Gringo::Ground::Statement.

void Gringo::Ground::WeakConstraint::linearize ( Scripts &  scripts, bool  positive  )

virtual

Implements Gringo::Ground::Statement.

void Gringo::Ground::WeakConstraint::mark ( )

virtual

Implements Gringo::Ground::SolutionCallback.

void Gringo::Ground::WeakConstraint::print ( std::ostream &  out ) const

virtual

Implements Gringo::Printable.

Here is the call graph for this function:

void Gringo::Ground::WeakConstraint::printHead ( std::ostream &  out ) const

virtual

Implements Gringo::Ground::SolutionCallback.

void Gringo::Ground::WeakConstraint::report ( Output::OutputBase &  out )

virtual

Implements Gringo::Ground::SolutionCallback.

Here is the call graph for this function:

void Gringo::Ground::WeakConstraint::startLinearize ( bool  active )

virtual

Implements Gringo::Ground::Statement.

void Gringo::Ground::WeakConstraint::unmark ( Queue &  queue )

virtual

Implements Gringo::Ground::SolutionCallback.

Member Data Documentation

InstVec Gringo::Ground::WeakConstraint::insts

ULitVec Gringo::Ground::WeakConstraint::lits

UTermVec Gringo::Ground::WeakConstraint::tuple

---

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

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