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

public class ArgumentationReasonerTest
extends java.lang.Object

Field Summary

Fields
Modifier and Type	Field	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) ASPAtom`	`m`
`(package private) ASPAtom`	`n`
`(package private) StrictNegation`	`n_q`
`(package private) StrictNegation`	`n_s`
`(package private) ASPAtom`	`p`
`(package private) Program`	`prog`
`(package private) ASPAtom`	`q`
`(package private) ASPAtom`	`r`
`(package private) ASPRule`	`r1`
`(package private) ASPRule`	`r2`
`(package private) ASPRule`	`r3`
`(package private) ASPRule`	`r4`
`(package private) ASPRule`	`r5`
`(package private) ASPRule`	`r6`
`(package private) ASPRule`	`r7`
`(package private) ASPRule`	`r8`
`(package private) ASPAtom`	`s`

Constructor Summary

Constructors
Constructor Description

ArgumentationReasonerTest()

Method Summary

Modifier and Type Method 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
```
ASPAtom p
```

q
```
ASPAtom q
```

r
```
ASPAtom r
```

s
```
ASPAtom s
```

m
```
ASPAtom m
```

n
```
ASPAtom n
```

n_q
```
StrictNegation n_q
```

n_s
```
StrictNegation n_s
```

r1
```
ASPRule r1
```

r2
```
ASPRule r2
```

r3
```
ASPRule r3
```

r4
```
ASPRule r4
```

r5
```
ASPRule r5
```

r6
```
ASPRule r6
```

r7
```
ASPRule r7
```

r8
```
ASPRule 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()
```

Modifier and Type	Method	Description
`void`	`initKB()`
`void`	`testArgumentationKnowledgeBase()`
`void`	`testArgumentationReasoner()`
`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