public class ArgumentationReasonerTest
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
(package private) Argument |
a1 |
(package private) Argument |
a2 |
(package private) Argument |
a3 |
(package private) Argument |
a4 |
(package private) Argument |
a5 |
(package private) Argument |
a6 |
(package private) Argument |
a7 |
(package private) Argument |
a8 |
(package private) ArgumentationKnowledgeBase |
kb |
(package private) DLPAtom |
m |
(package private) DLPAtom |
n |
(package private) DLPNeg |
n_q |
(package private) DLPNeg |
n_s |
(package private) DLPAtom |
p |
(package private) Program |
prog |
(package private) DLPAtom |
q |
(package private) DLPAtom |
r |
(package private) Rule |
r1 |
(package private) Rule |
r2 |
(package private) Rule |
r3 |
(package private) Rule |
r4 |
(package private) Rule |
r5 |
(package private) Rule |
r6 |
(package private) Rule |
r7 |
(package private) Rule |
r8 |
(package private) DLPAtom |
s |
Constructor and Description |
---|
ArgumentationReasonerTest() |
Modifier and Type | Method and Description |
---|---|
void |
initKB() |
void |
testArgumentationKnowledgeBase() |
void |
testArgumentationReasoner() |
void |
testLiteralReasoner() |
DLPAtom p
DLPAtom q
DLPAtom r
DLPAtom s
DLPAtom m
DLPAtom n
DLPNeg n_q
DLPNeg n_s
Rule r1
Rule r2
Rule r3
Rule r4
Rule r5
Rule r6
Rule r7
Rule r8
Argument a1
Argument a2
Argument a3
Argument a4
Argument a5
Argument a6
Argument a7
Argument a8
Program prog