ArgumentationKnowledgeBase (Tweety (Logic Programming Argumentation Library) 1.16 API)

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

All Implemented Interfaces:

Iterable<Argument>, Collection<Argument>, net.sf.tweety.commons.BeliefBase
```
public class ArgumentationKnowledgeBase
extends net.sf.tweety.commons.BeliefSet<Argument,net.sf.tweety.logics.fol.syntax.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, signature

Constructor Summary

Constructors
Constructor Description

ArgumentationKnowledgeBase(net.sf.tweety.lp.asp.syntax.Program program)

Method Summary

Modifier and Type	Method	Description
`Set<Argument>`	`getArguments()`	Returns all minimal arguments constructible from the extended logic program
`net.sf.tweety.commons.Signature`	`getMinimalSignature()`
`protected net.sf.tweety.logics.fol.syntax.FolSignature`	`instantiateSignature()`

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

Methods inherited from class java.lang.Object
clone, finalize, 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(net.sf.tweety.lp.asp.syntax.Program program)
```
- Method Detail
  - getArguments
```
public 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 net.sf.tweety.commons.Signature getMinimalSignature()
```
  - instantiateSignature
```
protected net.sf.tweety.logics.fol.syntax.FolSignature instantiateSignature()
```
    Specified by:
    
    instantiateSignature in class net.sf.tweety.commons.BeliefSet<Argument,net.sf.tweety.logics.fol.syntax.FolSignature>