Package net.sf.tweety.arg.delp
Class TestQueries
- java.lang.Object
-
- net.sf.tweety.arg.delp.TestQueries
-
public final class TestQueries extends java.lang.Object
Testing some example KBs with various queries.- Author:
- Linda.Briesemeister
-
-
Field Summary
Fields Modifier and Type Field Description private static java.util.logging.Logger
LOGGER
private static DelpReasoner
REASONER
-
Constructor Summary
Constructors Constructor Description TestQueries()
-
Method Summary
Modifier and Type Method Description void
birds()
void
counterarguments()
void
dtree()
void
hobbes()
void
moreQuoted()
void
nixon()
private DelpAnswer.Type
query(java.lang.String filepath, java.lang.String query)
private DelpAnswer.Type
query(DefeasibleLogicProgram delp, FolFormula formula)
void
quoted()
void
stocks()
-
-
-
Field Detail
-
LOGGER
private static final java.util.logging.Logger LOGGER
-
REASONER
private static DelpReasoner REASONER
-
-
Method Detail
-
query
private DelpAnswer.Type query(java.lang.String filepath, java.lang.String query) throws java.io.IOException
- Throws:
java.io.IOException
-
query
private DelpAnswer.Type query(DefeasibleLogicProgram delp, FolFormula formula) throws java.io.IOException
- Throws:
java.io.IOException
-
birds
public void birds() throws java.io.IOException
- Throws:
java.io.IOException
-
nixon
public void nixon() throws java.io.IOException
- Throws:
java.io.IOException
-
stocks
public void stocks() throws java.io.IOException
- Throws:
java.io.IOException
-
counterarguments
public void counterarguments() throws java.io.IOException
- Throws:
java.io.IOException
-
hobbes
public void hobbes() throws java.io.IOException
- Throws:
java.io.IOException
-
dtree
public void dtree() throws java.io.IOException
- Throws:
java.io.IOException
-
quoted
public void quoted() throws java.io.IOException
- Throws:
java.io.IOException
-
moreQuoted
public void moreQuoted() throws java.io.IOException
- Throws:
java.io.IOException
-
-