clingo: Gringo::Control Struct Reference

#include <control.hh>

Inheritance diagram for Gringo::Control:

Inheritance graph

Collaboration diagram for Gringo::Control:

Collaboration graph

Public Types
using	ModelHandler = std::function< bool(Model const &)>

using	FinishHandler = std::function< void(SolveResult, bool)>

using	StringVec = std::vector< std::string >

using	Assumptions = std::vector< std::pair< Value, bool >>

Public Member Functions
virtual void	ground (std::string const &name, FWValVec args)=0

virtual SolveResult	solve (ModelHandler h, Assumptions &&assumptions)=0

virtual SolveFuture *	asolve (ModelHandler mh, FinishHandler fh, Assumptions &&assumptions)=0

virtual SolveIter *	iterSolve (Assumptions &&assumptions)=0

virtual void	commit ()=0

virtual void	add (std::string const &name, FWStringVec const &params, std::string const &part)=0

virtual void	load (std::string const &filename)=0

virtual Value	getConst (std::string const &name)=0

virtual bool	blocked ()=0

virtual void	assignExternal (Value ext, bool val)=0

virtual void	releaseExternal (Value ext)=0

virtual Statistics *	getStats ()=0

virtual void	setConf (StringVec &&conf)=0

virtual void	enableEnumAssumption (bool enable)=0

virtual	~Control ()

Member Typedef Documentation

using Gringo::Control::Assumptions = std::vector<std::pair<Value, bool>>

using Gringo::Control::FinishHandler = std::function<void (SolveResult, bool)>

using Gringo::Control::ModelHandler = std::function<bool (Model const &)>

using Gringo::Control::StringVec = std::vector<std::string>

Constructor & Destructor Documentation

virtual Gringo::Control::~Control ( )

inlinevirtual

Member Function Documentation

virtual void Gringo::Control::add	(	std::string const &	name,
		FWStringVec const &	params,
		std::string const &	part
	)

pure virtual

Implemented in ClingoControl, and IncrementalControl.

virtual SolveFuture* Gringo::Control::asolve	(	ModelHandler	mh,
		FinishHandler	fh,
		Assumptions &&	assumptions
	)

pure virtual

Implemented in ClingoControl, and IncrementalControl.

virtual void Gringo::Control::assignExternal	(	Value	ext,
		bool	val
	)

pure virtual

Implemented in ClingoControl, and IncrementalControl.

virtual bool Gringo::Control::blocked ( )

pure virtual

Implemented in ClingoControl, and IncrementalControl.

virtual void Gringo::Control::commit ( )

pure virtual

Implemented in ClingoControl, and IncrementalControl.

virtual void Gringo::Control::enableEnumAssumption ( bool enable )

pure virtual

Implemented in ClingoControl, and IncrementalControl.

virtual Value Gringo::Control::getConst ( std::string const & name )

pure virtual

Implemented in ClingoControl, and IncrementalControl.

virtual Statistics* Gringo::Control::getStats ( )

pure virtual

Implemented in ClingoControl, and IncrementalControl.

virtual void Gringo::Control::ground	(	std::string const &	name,
		FWValVec	args
	)

pure virtual

Implemented in ClingoControl, and IncrementalControl.

virtual SolveIter* Gringo::Control::iterSolve ( Assumptions && assumptions )

pure virtual

Implemented in ClingoControl, and IncrementalControl.

virtual void Gringo::Control::load ( std::string const & filename )

pure virtual

Implemented in ClingoControl, and IncrementalControl.

virtual void Gringo::Control::releaseExternal ( Value ext )

pure virtual

Implemented in ClingoControl, and IncrementalControl.

virtual void Gringo::Control::setConf ( StringVec && conf )

pure virtual

Implemented in ClingoControl, and IncrementalControl.

virtual SolveResult Gringo::Control::solve	(	ModelHandler	h,
		Assumptions &&	assumptions
	)

pure virtual

Implemented in ClingoControl, and IncrementalControl.

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

/Users/danielbaeck/Dropbox/Uni Klagenfurt/Diplomarbeit/gringo44/libgringo/gringo/control.hh