Package org.tweetyproject.arg.lp.syntax

Class ArgumentationKnowledgeBase

java.lang.Object

org.tweetyproject.commons.BeliefSet<Argument,FolSignature>

org.tweetyproject.arg.lp.syntax.ArgumentationKnowledgeBase

All Implemented Interfaces:

Iterable<Argument>, 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 org.tweetyproject.commons.BeliefSet

EQUALS_USES_SIGNATURE

Constructor Summary

Constructors

Constructor	Description
ArgumentationKnowledgeBase(Program program)

Method Summary

Modifier and Type	Method	Description
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 org.tweetyproject.commons.BeliefSet

add, add, addAll, clear, contains, containsAll, equals, getSignature, hashCode, isEmpty, iterator, remove, removeAll, retainAll, setSignature, size, toArray, toArray, toString, 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 Details

ArgumentationKnowledgeBase

public ArgumentationKnowledgeBase(Program program)

Method Details

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 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.