literals.cc File Reference

#include "gringo/ground/literals.hh"
#include "gringo/ground/binders.hh"
#include "gringo/logger.hh"
#include "gringo/scripts.hh"
#include <cmath>

Include dependency graph for literals.cc:

Namespaces
	Gringo
	Gringo::Ground

Variable Documentation

UTerm assign

ValVec::iterator current = 0

int end = 0

bool firstMatch = false

UTerm lhs

ValVec matches

RangeLiteralShared& range

Term& rhs

Scripts& scripts

RelationShared& shared

CSPLiteralShared& terms