Definitions and declarations for the Propositional Logic Engine.
#include <stdlib.h>
#include "db-options.h"
Go to the source code of this file.
Definition in file lvm.h.