public final class TestQueries
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
private static java.util.logging.Logger |
LOGGER |
private static DelpReasoner |
REASONER |
Constructor and Description |
---|
TestQueries() |
Modifier and Type | Method and Description |
---|---|
void |
birds() |
void |
counterarguments() |
void |
dtree() |
void |
hobbes() |
void |
moreQuoted() |
void |
nixon() |
private DelpAnswer.Type |
query(DefeasibleLogicProgram delp,
FolFormula formula) |
private DelpAnswer.Type |
query(java.lang.String filepath,
java.lang.String query) |
void |
quoted() |
void |
stocks() |
private static final java.util.logging.Logger LOGGER
private static DelpReasoner REASONER
private DelpAnswer.Type query(java.lang.String filepath, java.lang.String query) throws java.io.IOException
java.io.IOException
private DelpAnswer.Type query(DefeasibleLogicProgram delp, FolFormula formula) throws java.io.IOException
java.io.IOException
public void birds() throws java.io.IOException
java.io.IOException
public void nixon() throws java.io.IOException
java.io.IOException
public void stocks() throws java.io.IOException
java.io.IOException
public void counterarguments() throws java.io.IOException
java.io.IOException
public void hobbes() throws java.io.IOException
java.io.IOException
public void dtree() throws java.io.IOException
java.io.IOException
public void quoted() throws java.io.IOException
java.io.IOException
public void moreQuoted() throws java.io.IOException
java.io.IOException