dlvhex
2.5.0
|
Implements weak constraints. More...
Go to the source code of this file.
Data Structures | |
class | WeakConstraintPlugin |
Implements weak plugins by rewriting them to ordinary rules. More... | |
class | WeakConstraintPlugin::CtxData |
Implements weak constraints.
Definition in file WeakConstraintPlugin.h.