literals.hh File Reference

#include <gringo/terms.hh>
#include <gringo/domain.hh>
#include <gringo/intervals.hh>
#include <gringo/unique_list.hh>
#include <gringo/output/literal.hh>

Include dependency graph for literals.hh:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
struct	Gringo::Output::AuxAtom
struct	Gringo::Output::AuxLiteral
struct	Gringo::Output::BooleanLiteral
struct	Gringo::Output::PredicateLiteral
struct	Gringo::Output::BodyAggregateState
struct	Gringo::Output::BodyAggregate
struct	Gringo::Output::AssignmentAggregateState
struct	Gringo::Output::AssignmentAggregateState::Data
struct	Gringo::Output::AssignmentAggregate
struct	Gringo::Output::ConjunctionElem
struct	Gringo::Output::ConjunctionState
struct	Gringo::Output::Conjunction
struct	Gringo::Output::DisjointElem
struct	Gringo::Output::DisjointState
struct	Gringo::Output::DisjointLiteral
struct	Gringo::Output::CSPLiteral

Namespaces
	Gringo
	Gringo::Output

Typedefs
using	Gringo::Output::SAuxAtom = std::shared_ptr< AuxAtom >
using	Gringo::Output::SAuxAtomVec = std::vector< SAuxAtom >
using	Gringo::Output::BdAggrElemSet = unique_list< std::pair< FWValVec, std::vector< ULitVec >>, extract_first< FWValVec >>
using	Gringo::Output::DisjointElemVec = std::vector< DisjointElem >
using	Gringo::Output::DisjointElemSet = unique_list< std::pair< FWValVec, DisjointElemVec >, extract_first< FWValVec >>

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