patrick/plasp
Archived
1
0
Fork 0
Code Issues 12 Releases 8 Activity

Updated meta encoding to new feature requirement format.

Browse Source
This commit is contained in:
Patrick Lühne 2016-08-15 18:24:51 +02:00
parent b8a3019e5b
commit 676dc44619
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
encodings/sequential-incremental.lp
View File

@ -1,9 +1,9 @@
#include <incmode>. #include <incmode>.
% Check feature requirements % Check feature requirements
:- requiresFeature(actionCosts). :- requires(feature(actionCosts)).
:- requiresFeature(axiomRules). :- requires(feature(axiomRules)).
:- requiresFeature(conditionalEffects). :- requires(feature(conditionalEffects)).
#program base. #program base.