[Fawkes Git] branch/bschaepers/asp-aspect: 2 revs updated. (0.5.0-3393-gc00d1a0)

Bjoern Schaepers bjoern.schaepers at rwth-aachen.de
Mon Dec 19 10:27:57 CET 2016


Changes have been pushed for the project "Fawkes Robotics Software Framework".

Gitweb: http://git.fawkesrobotics.org/fawkes.git
Trac:   http://trac.fawkesrobotics.org

The branch, bschaepers/asp-aspect has been updated
        to  c00d1a0d0b4fdbabffb45f2869d0ab084fa58740 (commit)
       via  b0b74134926a54b701967433ff9fbd85fe652a37 (commit)
      from  824f59d5605820d04a9c94899d88afa8204f49b1 (commit)

http://git.fawkesrobotics.org/fawkes.git/bschaepers/asp-aspect

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- *Log* ---------------------------------------------------------------
commit b0b74134926a54b701967433ff9fbd85fe652a37
Author:     Bjoern Schaepers <bjoern.schaepers at rwth-aachen.de>
AuthorDate: Fri Dec 16 20:02:36 2016 +0100
Commit:     Bjoern Schaepers <bjoern.schaepers at rwth-aachen.de>
CommitDate: Fri Dec 16 20:02:36 2016 +0100

    ASP-Aspect: Added convenience functions regarding externals.

http://git.fawkesrobotics.org/fawkes.git/commit/b0b7413
http://trac.fawkesrobotics.org/changeset/b0b7413

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -
commit c00d1a0d0b4fdbabffb45f2869d0ab084fa58740
Author:     Bjoern Schaepers <bjoern.schaepers at rwth-aachen.de>
AuthorDate: Mon Dec 19 10:27:13 2016 +0100
Commit:     Bjoern Schaepers <bjoern.schaepers at rwth-aachen.de>
CommitDate: Mon Dec 19 10:27:13 2016 +0100

    ASP-Aspect: Remove command line options.
    
    We don't use the heuristic anymore, so use default settings.

http://git.fawkesrobotics.org/fawkes.git/commit/c00d1a0
http://trac.fawkesrobotics.org/changeset/c00d1a0

- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -


- *Summary* -----------------------------------------------------------
 src/plugins/asp/aspect/clingo_access.cpp |    2 +-
 src/plugins/asp/aspect/clingo_access.h   |   10 ++++++++++
 2 files changed, 11 insertions(+), 1 deletions(-)


- *Diffs* -------------------------------------------------------------

- *commit* b0b74134926a54b701967433ff9fbd85fe652a37 - - - - - - - - - -
Author:  Bjoern Schaepers <bjoern.schaepers at rwth-aachen.de>
Date:    Fri Dec 16 20:02:36 2016 +0100
Subject: ASP-Aspect: Added convenience functions regarding externals.

 src/plugins/asp/aspect/clingo_access.h |   10 ++++++++++
 1 files changed, 10 insertions(+), 0 deletions(-)

_Diff for modified files_:
diff --git a/src/plugins/asp/aspect/clingo_access.h b/src/plugins/asp/aspect/clingo_access.h
index 7bcb844..15909ae 100644
--- a/src/plugins/asp/aspect/clingo_access.h
+++ b/src/plugins/asp/aspect/clingo_access.h
@@ -97,6 +97,16 @@ class ClingoAccess
 
 	bool ground(const Clingo::PartSpan& parts);
 
+	inline bool assign_external(const Clingo::Symbol& atom, const bool value)
+	{
+		return assign_external(atom, value ? Clingo::TruthValue::True : Clingo::TruthValue::False);
+	}
+
+	inline bool free_exteral(const Clingo::Symbol& atom)
+	{
+		return assign_external(atom, Clingo::TruthValue::Free);
+	}
+
 	bool assign_external(const Clingo::Symbol& atom, const Clingo::TruthValue value);
 	bool release_external(const Clingo::Symbol& atom);
 };

- *commit* c00d1a0d0b4fdbabffb45f2869d0ab084fa58740 - - - - - - - - - -
Author:  Bjoern Schaepers <bjoern.schaepers at rwth-aachen.de>
Date:    Mon Dec 19 10:27:13 2016 +0100
Subject: ASP-Aspect: Remove command line options.

 src/plugins/asp/aspect/clingo_access.cpp |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

_Diff for modified files_:
diff --git a/src/plugins/asp/aspect/clingo_access.cpp b/src/plugins/asp/aspect/clingo_access.cpp
index c0e8336..609d0b2 100644
--- a/src/plugins/asp/aspect/clingo_access.cpp
+++ b/src/plugins/asp/aspect/clingo_access.cpp
@@ -189,7 +189,7 @@ void
 ClingoAccess::allocControl(void)
 {
 	assert(!Control);
-	Control = new Clingo::Control({"--heur=Domain"/*, "--output-debug=translate"*/},
+	Control = new Clingo::Control({},
 		[this](const Clingo::WarningCode code, char const *msg)
 		{
 			fawkes::Logger::LogLevel level = fawkes::Logger::LL_NONE;




-- 
Fawkes Robotics Framework                 http://www.fawkesrobotics.org


More information about the fawkes-commits mailing list