Gringo::Output Namespace Reference

Namespaces
	Debug
	Test

Classes
struct	AssignmentAggregate
struct	AssignmentAggregateState
struct	AuxAtom
struct	AuxLiteral
struct	BodyAggregate
struct	BodyAggregateState
struct	BooleanLiteral
struct	Conjunction
struct	ConjunctionElem
struct	ConjunctionState
struct	CSPLiteral
struct	DisjointElem
struct	DisjointLiteral
struct	DisjointState
struct	DisjunctionRule
struct	DisjunctionState
struct	HeadAggregateElement
struct	HeadAggregateRule
struct	HeadAggregateState
struct	Literal
struct	LparseMinimize
struct	LparseOutputter
struct	LparseRule
struct	LparseTranslator
struct	Minimize
struct	OutputBase
struct	PlainLparseOutputter
struct	PredicateLiteral
struct	Rule
struct	RuleRef
struct	Statement
struct	StmHandler
struct	WeightRule

Typedefs
using	UStm = std::unique_ptr< Statement >
using	UStmVec = std::vector< UStm >
using	CSPBound = std::pair< int, int >
using	ULit = std::unique_ptr< Literal >
using	LitVec = std::vector< std::reference_wrapper< Literal >>
using	ULitVec = std::vector< ULit >
using	SAuxAtom = std::shared_ptr< AuxAtom >
using	SAuxAtomVec = std::vector< SAuxAtom >
using	BdAggrElemSet = unique_list< std::pair< FWValVec, std::vector< ULitVec >>, extract_first< FWValVec >>
using	DisjointElemVec = std::vector< DisjointElem >
using	DisjointElemSet = unique_list< std::pair< FWValVec, DisjointElemVec >, extract_first< FWValVec >>
using	OutputPredicates = std::vector< std::tuple< Location, FWSignature, bool >>
using	UStmHandler = std::unique_ptr< StmHandler >
using	MinimizeList = std::vector< std::pair< FWValVec, ULitVec >>
using	CoefVarVec = std::vector< std::pair< int, Value >>
using	DisjointCons = std::vector< std::pair< FWValVec, std::vector< DisjointElem >>>
using	ULitWeightVec = std::vector< std::pair< ULit, unsigned >>

Enumerations
enum	ExternalType { ExternalType::E_FREE, ExternalType::E_TRUE, ExternalType::E_FALSE }
enum	LparseDebug : unsigned { LparseDebug::NONE = 0, LparseDebug::PLAIN = 1, LparseDebug::LPARSE = 2, LparseDebug::ALL = 3 }

Functions
std::ostream &	operator<< (std::ostream &out, AuxAtom const &x)
int	clamp (int64_t x)
bool	neutral (ValVec const &tuple, AggregateFunction fun, Location const &loc)
int	toInt (IntervalSet< Value >::LBound const &x)
int	toInt (IntervalSet< Value >::RBound const &x)
Value	getWeight (AggregateFunction fun, FWValVec const &x)
std::ostream &	operator<< (std::ostream &out, ConjunctionElem const &x)

Typedef Documentation

using Gringo::Output::BdAggrElemSet = typedef unique_list<std::pair<FWValVec, std::vector<ULitVec>>, extract_first<FWValVec>>

using Gringo::Output::CoefVarVec = typedef std::vector<std::pair<int, Value>>

using Gringo::Output::CSPBound = typedef std::pair<int, int>

using Gringo::Output::DisjointCons = typedef std::vector<std::pair<FWValVec, std::vector<DisjointElem>>>

using Gringo::Output::DisjointElemSet = typedef unique_list<std::pair<FWValVec, DisjointElemVec>, extract_first<FWValVec>>

using Gringo::Output::DisjointElemVec = typedef std::vector<DisjointElem>

using Gringo::Output::LitVec = typedef std::vector<std::reference_wrapper<Literal>>

using Gringo::Output::MinimizeList = typedef std::vector<std::pair<FWValVec, ULitVec>>

using Gringo::Output::OutputPredicates = typedef std::vector<std::tuple<Location, FWSignature, bool>>

typedef std::shared_ptr< AuxAtom > Gringo::Output::SAuxAtom

using Gringo::Output::SAuxAtomVec = typedef std::vector<SAuxAtom>

using Gringo::Output::ULit = typedef std::unique_ptr<Literal>

using Gringo::Output::ULitVec = typedef std::vector<ULit>

using Gringo::Output::ULitWeightVec = typedef std::vector<std::pair<ULit, unsigned>>

typedef std::unique_ptr< Statement > Gringo::Output::UStm

using Gringo::Output::UStmHandler = typedef std::unique_ptr<StmHandler>

typedef std::vector< UStm > Gringo::Output::UStmVec

Enumeration Type Documentation

enum Gringo::Output::ExternalType

strong

Enumerator
E_FREE
E_TRUE
E_FALSE

enum Gringo::Output::LparseDebug : unsigned

strong

Enumerator
NONE
PLAIN
LPARSE
ALL

Function Documentation

int Gringo::Output::clamp

(

int64_t

x

)

Value Gringo::Output::getWeight	(	AggregateFunction	fun,
		FWValVec const &	x
	)

Here is the call graph for this function:

bool Gringo::Output::neutral	(	ValVec const &	tuple,
		AggregateFunction	fun,
		Location const &	loc
	)

std::ostream & Gringo::Output::operator<<	(	std::ostream &	out,
		AuxAtom const &	x
	)

std::ostream& Gringo::Output::operator<< ( std::ostream &  out, ConjunctionElem const &  x  )

inline

Here is the call graph for this function:

int Gringo::Output::toInt

(

IntervalSet< Value >::LBound const &

x

)

int Gringo::Output::toInt

(

IntervalSet< Value >::RBound const &

x

)