net.sf.tweety.arg.lp

Class ArgumentationKnowledgeBase

java.lang.Object

net.sf.tweety.commons.BeliefSet<Argument>

net.sf.tweety.arg.lp.ArgumentationKnowledgeBase

All Implemented Interfaces:

Iterable<Argument>, Collection<Argument>, net.sf.tweety.commons.BeliefBase

public class ArgumentationKnowledgeBase
extends net.sf.tweety.commons.BeliefSet<Argument>

Instances of this class represent the set of minimal arguments from a extended logic program

Author:

Sebastian Homann

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
Set<Argument>	getArguments() Returns all minimal arguments constructible from the extended logic program
net.sf.tweety.commons.Signature	getSignature()

Methods inherited from class net.sf.tweety.commons.BeliefSet

add, addAll, clear, contains, containsAll, equals, hashCode, instantiateSet, isEmpty, iterator, remove, removeAll, retainAll, 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

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

getSignature

public net.sf.tweety.commons.Signature getSignature()

Specified by:

getSignature in interface net.sf.tweety.commons.BeliefBase

Specified by:

getSignature in class net.sf.tweety.commons.BeliefSet<Argument>