ArgumentationReasonerTest

java.lang.Object
- net.sf.tweety.argumentation.parameterisedhierarchy.ArgumentationReasonerTest

public class ArgumentationReasonerTest
extends java.lang.Object

Field Summary

Fields
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 Summary

Constructors
Constructor and Description

ArgumentationReasonerTest()

Constructors
Constructor and Description
`ArgumentationReasonerTest()`

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`void`	`initKB()`
`void`	`testArgumentationKnowledgeBase()`
`void`	`testArgumentationReasoner()`
`void`	`testLiteralReasoner()`

Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

p
```
DLPAtom p
```

q
```
DLPAtom q
```

r
```
DLPAtom r
```

s
```
DLPAtom s
```

m
```
DLPAtom m
```

n
```
DLPAtom n
```

n_q
```
DLPNeg n_q
```

n_s
```
DLPNeg n_s
```

r1
```
Rule r1
```

r2
```
Rule r2
```

r3
```
Rule r3
```

r4
```
Rule r4
```

r5
```
Rule r5
```

r6
```
Rule r6
```

r7
```
Rule r7
```

r8
```
Rule r8
```

a1
```
Argument a1
```

a2
```
Argument a2
```

a3
```
Argument a3
```

a4
```
Argument a4
```

a5
```
Argument a5
```

a6
```
Argument a6
```

a7
```
Argument a7
```

a8
```
Argument a8
```

prog
```
Program prog
```

kb
```
ArgumentationKnowledgeBase kb
```

Constructor Detail
- ArgumentationReasonerTest
```
public ArgumentationReasonerTest()
```

Method Detail

initKB
```
public void initKB()
```

testArgumentationKnowledgeBase

public void testArgumentationKnowledgeBase()

testArgumentationReasoner

public void testArgumentationReasoner()

testLiteralReasoner
```
public void testLiteralReasoner()
```

Class ArgumentationReasonerTest

Field Summary

Constructor Summary

Method Summary

Methods inherited from class java.lang.Object

Field Detail

p

q

r

s

m

n

n_q

n_s

r1

r2

r3

r4

r5

r6

r7

r8

a1

a2

a3

a4

a5

a6

a7

a8

prog

kb

Constructor Detail

ArgumentationReasonerTest

Method Detail

initKB

testArgumentationKnowledgeBase

testArgumentationReasoner

testLiteralReasoner