include/dlvhex2/MLPSolver.h File Reference

Solve the ic-stratified MLP. More...

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

---

Detailed Description

Solve the ic-stratified MLP.

Checking syntax for modular logic programs.

Author:

Tri Kurniawan Wijaya

Date:

Tue Jan 18 19:44:00 CET 2011

Author:

Tri Kurniawan Wijaya

Date:

Fri 02 Sep 2011 02:18:37 PM CEST

Definition in file MLPSolver.h.