Package net.sf.tweety.arg.adf.syntax

Class AbstractDialecticalFramework

java.lang.Object

net.sf.tweety.arg.adf.syntax.AbstractDialecticalFramework

All Implemented Interfaces:

Comparable<AbstractDialecticalFramework>, Iterable<Argument>, net.sf.tweety.commons.BeliefBase

public class AbstractDialecticalFramework
extends Object
implements net.sf.tweety.commons.BeliefBase, Comparable<AbstractDialecticalFramework>, Iterable<Argument>

This class implements abstract dialectical frameworks, cf. [Brewka, Ellmauthaler, Strass, Wallner, Woltran. Abstract Dialectical Frameworks Revisited. IJCAI'13]

Author:

Mathias Hofer

Constructor Summary

Constructors

Constructor	Description
AbstractDialecticalFramework(Map<Argument,AcceptanceCondition> accByArgument)

Method Summary

Modifier and Type	Method	Description
Stream<Argument>	arguments()
boolean	bipolar()	Checks if the ADF is bipolar.
int	compareTo(AbstractDialecticalFramework o)
AcceptanceCondition	getAcceptanceCondition(Argument argument)
net.sf.tweety.commons.Signature	getMinimalSignature()
Iterator<Argument>	iterator()
Link	link(Argument a, Argument b)	Computes the link (a,b) iff necessary and returns it afterwards.
Stream<Link>	links()
Stream<Link>	linksToChildren(Argument a)	TODO define functionality
Stream<Link>	linksToParent(Argument b)	TODO define functionality
Stream<Argument>	parents(Argument child)
void	setLink(Link link)
void	setLinkStrategy(LinkStrategy linkStrategy)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface net.sf.tweety.commons.BeliefBase

toString

Methods inherited from interface java.lang.Iterable

forEach, spliterator

Constructor Detail

AbstractDialecticalFramework

public AbstractDialecticalFramework(Map<Argument,AcceptanceCondition> accByArgument)

Method Detail

arguments

public Stream<Argument> arguments()

bipolar

public boolean bipolar()

Checks if the ADF is bipolar. May compute all links to do so.

Returns:

true iff this ADF is bipolar

parents

public Stream<Argument> parents(Argument child)

getAcceptanceCondition

public AcceptanceCondition getAcceptanceCondition(Argument argument)

links

public Stream<Link> links()

linksToParent

public Stream<Link> linksToParent(Argument b)

TODO define functionality

Parameters:

b - some argument

Returns:

a stream of links (a,b)

linksToChildren

public Stream<Link> linksToChildren(Argument a)

TODO define functionality

Parameters:

a - some argument

Returns:

a stream of links (a,b)

link

public Link link(Argument a,
                 Argument b)

Computes the link (a,b) iff necessary and returns it afterwards.

Parameters:

a - some argument

b - some argument

Returns:

(a,b)

setLink

public void setLink(Link link)

setLinkStrategy

public void setLinkStrategy(LinkStrategy linkStrategy)

Parameters:

linkStrategy - the strategy which is used in order to compute the links whenever its necessary

compareTo

public int compareTo(AbstractDialecticalFramework o)

Specified by:

compareTo in interface Comparable<AbstractDialecticalFramework>

getMinimalSignature

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

Specified by:

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

iterator

public Iterator<Argument> iterator()

Specified by:

iterator in interface Iterable<Argument>