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

Added to-do.

Browse Source
This commit is contained in:
Patrick Lühne 2016-06-04 17:52:37 +02:00
parent e561c55f73
commit ee597c805e
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/plasp/pddl/Domain.cpp
View File

@ -336,6 +336,7 @@ void Domain::checkConsistency()
// Verify that all variables have types // Verify that all variables have types
// Verify that constants are unique // Verify that constants are unique
// Verify that all primitive types are unique // Verify that all primitive types are unique
// Check for case-sensitivity issues
} }
//////////////////////////////////////////////////////////////////////////////////////////////////// ////////////////////////////////////////////////////////////////////////////////////////////////////