public class ArgumentationKnowledgeBase extends net.sf.tweety.commons.BeliefSet<Argument>
| Constructor and Description |
|---|
ArgumentationKnowledgeBase(net.sf.tweety.lp.asp.syntax.Program program) |
| 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() |
add, addAll, clear, contains, containsAll, equals, hashCode, instantiateSet, isEmpty, iterator, remove, removeAll, retainAll, size, toArray, toArray, toStringclone, finalize, getClass, notify, notifyAll, wait, wait, waitparallelStream, removeIf, spliterator, streampublic ArgumentationKnowledgeBase(net.sf.tweety.lp.asp.syntax.Program program)
public Set<Argument> getArguments()
public net.sf.tweety.commons.Signature getSignature()
getSignature in interface net.sf.tweety.commons.BeliefBasegetSignature in class net.sf.tweety.commons.BeliefSet<Argument>Copyright © 2018. All rights reserved.