public class ClingoTest
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
(package private) static ASPParser |
parser |
(package private) static Clingo |
solver |
(package private) static InstantiateVisitor |
visitor |
Constructor and Description |
---|
ClingoTest() |
Modifier and Type | Method and Description |
---|---|
void |
Example1() |
void |
Example2() |
void |
Example3() |
void |
Example4() |
static void |
init() |
static ASPParser parser
static InstantiateVisitor visitor
static Clingo solver
public static void init()
public void Example1() throws java.lang.Exception
java.lang.Exception
public void Example2() throws java.lang.Exception
java.lang.Exception
public void Example3() throws java.lang.Exception
java.lang.Exception
public void Example4() throws java.lang.Exception
java.lang.Exception