Rule: store rules (not facts!), constraints, weak constraints. More...
#include "dlvhex2/PlatformDefinitions.h"
#include "dlvhex2/Logger.h"
#include "dlvhex2/ID.h"
Go to the source code of this file.
Rule: store rules (not facts!), constraints, weak constraints.
Definition in file Rule.h.