unified common parts of access encoding variants

git-svn-id: https://potassco.svn.sourceforge.net/svnroot/potassco/trunk/gringo@5189 3e02f596-3131-0410-8352-e04eeaec37cc
just adding indicater comment line to overtaking base encoding

git-svn-id: https://potassco.svn.sourceforge.net/svnroot/potassco/trunk/gringo@5204 3e02f596-3131-0410-8352-e04eeaec37cc
avoiding forget statements within oclingo encodings

git-svn-id: https://potassco.svn.sourceforge.net/svnroot/potassco/trunk/gringo@5207 3e02f596-3131-0410-8352-e04eeaec37cc
avoiding forget statement within overtaking encoding

git-svn-id: https://potassco.svn.sourceforge.net/svnroot/potassco/trunk/gringo@5208 3e02f596-3131-0410-8352-e04eeaec37cc
cumulative overtaking encoding and corresponding example outputs

git-svn-id: https://potassco.svn.sourceforge.net/svnroot/potassco/trunk/gringo@5209 3e02f596-3131-0410-8352-e04eeaec37cc
volatile overtaking encoding

git-svn-id: https://potassco.svn.sourceforge.net/svnroot/potassco/trunk/gringo@5210 3e02f596-3131-0410-8352-e04eeaec37cc
overtaking encoding with regrounding and corresponding example outputs

git-svn-id: https://potassco.svn.sourceforge.net/svnroot/potassco/trunk/gringo@5211 3e02f596-3131-0410-8352-e04eeaec37cc
static overtaking encoding for comparison

git-svn-id: https://potassco.svn.sourceforge.net/svnroot/potassco/trunk/gringo@5212 3e02f596-3131-0410-8352-e04eeaec37cc
static access encoding for comparison

git-svn-id: https://potassco.svn.sourceforge.net/svnroot/potassco/trunk/gringo@5213 3e02f596-3131-0410-8352-e04eeaec37cc
comment updated in static access encoding for comparison

git-svn-id: https://potassco.svn.sourceforge.net/svnroot/potassco/trunk/gringo@5214 3e02f596-3131-0410-8352-e04eeaec37cc
Clingcon: replaced Propagator with Advisor, should be more memory efficient and also faster?

git-svn-id: https://potassco.svn.sourceforge.net/svnroot/potassco/trunk/gringo@5218 3e02f596-3131-0410-8352-e04eeaec37cc
Clingcon: typo

git-svn-id: https://potassco.svn.sourceforge.net/svnroot/potassco/trunk/gringo@5219 3e02f596-3131-0410-8352-e04eeaec37cc
added base encoding for oclingo version capable of carrying on computation after an unsat answer


git-svn-id: https://potassco.svn.sourceforge.net/svnroot/potassco/trunk/gringo@5229 3e02f596-3131-0410-8352-e04eeaec37cc
overtaking example outputs with forget statements in streams

git-svn-id: https://potassco.svn.sourceforge.net/svnroot/potassco/trunk/gringo@5232 3e02f596-3131-0410-8352-e04eeaec37cc
access example output with forget statements in stream

git-svn-id: https://potassco.svn.sourceforge.net/svnroot/potassco/trunk/gringo@5233 3e02f596-3131-0410-8352-e04eeaec37cc
added cumulative and relaunching encodings


git-svn-id: https://potassco.svn.sourceforge.net/svnroot/potassco/trunk/gringo@5236 3e02f596-3131-0410-8352-e04eeaec37cc
small changes on access and overtaking encodings for clingo

git-svn-id: https://potassco.svn.sourceforge.net/svnroot/potassco/trunk/gringo@5237 3e02f596-3131-0410-8352-e04eeaec37cc
Clingcon: added hybrid recomputation

git-svn-id: https://potassco.svn.sourceforge.net/svnroot/potassco/trunk/gringo@5269 3e02f596-3131-0410-8352-e04eeaec37cc
Clingcon: switched to stepwise propagation

git-svn-id: https://potassco.svn.sourceforge.net/svnroot/potassco/trunk/gringo@5270 3e02f596-3131-0410-8352-e04eeaec37cc
Clingcon: switched to stepwise propagation a bit more

git-svn-id: https://potassco.svn.sourceforge.net/svnroot/potassco/trunk/gringo@5272 3e02f596-3131-0410-8352-e04eeaec37cc