ArgumentationKnowledgeBase

java.lang.Object
- net.sf.tweety.commons.BeliefSet<Argument,FolSignature>
- - net.sf.tweety.arg.lp.syntax.ArgumentationKnowledgeBase

All Implemented Interfaces:

java.lang.Iterable<Argument>, java.util.Collection<Argument>, BeliefBase
```
public class ArgumentationKnowledgeBase
extends BeliefSet<Argument,FolSignature>
```
Instances of this class represent the set of minimal arguments from a extended logic program

Author:

Sebastian Homann

Field Summary
- Fields inherited from class net.sf.tweety.commons.BeliefSet
  EQUALS_USES_SIGNATURE

Constructor Summary

Constructors
Constructor Description

ArgumentationKnowledgeBase(Program program)

Method Summary

Modifier and Type	Method	Description
`java.util.Set<Argument>`	`getArguments()`	Returns all minimal arguments constructible from the extended logic program
`Signature`	`getMinimalSignature()`	Returns the signature of the language of this knowledge base.

Methods inherited from class net.sf.tweety.commons.BeliefSet
add, add, addAll, clear, contains, containsAll, equals, getSignature, hashCode, isEmpty, iterator, remove, removeAll, retainAll, setSignature, size, toArray, toArray, toString

Methods inherited from class java.lang.Object
getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Collection
parallelStream, removeIf, spliterator, stream, toArray

Methods inherited from interface java.lang.Iterable
forEach

- Constructor Detail
  - ArgumentationKnowledgeBase
```
public ArgumentationKnowledgeBase(Program program)
```
- Method Detail
  - getArguments
```
public java.util.Set<Argument> getArguments()
```
    Returns all minimal arguments constructible from the extended logic program
    
    Returns:
    
    all minimal arguments constructible from the extended logic program
  - getMinimalSignature
```
public Signature getMinimalSignature()
```
    Description copied from interface: BeliefBase
    
    Returns the signature of the language of this knowledge base.
    
    Returns:
    
    the signature of the language of this knowledge base.