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-05-21 15:44:06 +02:00
parent 20c2af5f7d
commit b2e4d3329a
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
include/plasp/sas/MutexGroup.h
View File

@ -14,6 +14,7 @@ namespace sas
// //
//////////////////////////////////////////////////////////////////////////////////////////////////// ////////////////////////////////////////////////////////////////////////////////////////////////////
// TODO: make consistent with initial state/goal
struct MutexGroup struct MutexGroup
{ {
using Fact = AssignedVariable; using Fact = AssignedVariable;