Package org.tweetyproject.arg.bipolar.syntax

Class ArgumentSet

java.lang.Object

org.tweetyproject.arg.bipolar.syntax.ArgumentSet

All Implemented Interfaces:

Comparable<ArgumentSet>, Iterable<BArgument>, Collection<BArgument>, BipolarEntity, DungEntity, Formula, Node

public class ArgumentSet
extends Object
implements BipolarEntity, Collection<BArgument>, Comparable<ArgumentSet>

This class models a set of arguments used by bipolar abstract argumentation theory.

Author:

Lars Bengel

Constructor Summary

Constructors

Constructor	Description
ArgumentSet()
ArgumentSet(Collection<? extends BArgument> arguments)
ArgumentSet(BArgument argument)
ArgumentSet(Extension<DungTheory> ext)

Method Summary

Modifier and Type	Method	Description
boolean	add(BArgument arg0)
boolean	addAll(Collection<? extends BArgument> arg0)
void	clear()
int	compareTo(ArgumentSet arg0)
boolean	contains(Object arg0)
boolean	containsAll(Collection<?> arg0)
boolean	equals(Object obj)
Set<BArgument>	getArguments()
LdoFormula	getLdoFormula()	Returns a logical representation of this entity in LDO (Logic of dialectical outcomes, cf.
Signature	getSignature()	Returns the signature of the language of this formula.
int	hashCode()
boolean	isEmpty()
Iterator<BArgument>	iterator()
boolean	remove(Object arg0)
boolean	removeAll(Collection<?> arg0)
boolean	retainAll(Collection<?> arg0)
int	size()
Object[]	toArray()
<T> T[]	toArray(T[] arg0)
String	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

ArgumentSet

public ArgumentSet()

ArgumentSet

public ArgumentSet(Extension<DungTheory> ext)

ArgumentSet

public ArgumentSet(BArgument argument)

ArgumentSet

public ArgumentSet(Collection<? extends BArgument> arguments)

Method Details

toString

public String toString()

Overrides:

toString in class Object

hashCode

public int hashCode()

Specified by:

hashCode in interface Collection<BArgument>

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Specified by:

equals in interface Collection<BArgument>

Overrides:

equals in class Object

getArguments

public Set<BArgument> getArguments()

add

public boolean add(BArgument arg0)

Specified by:

add in interface Collection<BArgument>

addAll

public boolean addAll(Collection<? extends BArgument> arg0)

Specified by:

addAll in interface Collection<BArgument>

clear

public void clear()

Specified by:

clear in interface Collection<BArgument>

contains

public boolean contains(Object arg0)

Specified by:

contains in interface BipolarEntity

Specified by:

contains in interface Collection<BArgument>

containsAll

public boolean containsAll(Collection<?> arg0)

Specified by:

containsAll in interface Collection<BArgument>

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface Collection<BArgument>

iterator

public Iterator<BArgument> iterator()

Specified by:

iterator in interface Collection<BArgument>

Specified by:

iterator in interface Iterable<BArgument>

remove

public boolean remove(Object arg0)

Specified by:

remove in interface Collection<BArgument>

removeAll

public boolean removeAll(Collection<?> arg0)

Specified by:

removeAll in interface Collection<BArgument>

retainAll

public boolean retainAll(Collection<?> arg0)

Specified by:

retainAll in interface Collection<BArgument>

size

public int size()

Specified by:

size in interface Collection<BArgument>

toArray

public Object[] toArray()

Specified by:

toArray in interface Collection<BArgument>

toArray

public <T> T[] toArray(T[] arg0)

Specified by:

toArray in interface Collection<BArgument>

compareTo

public int compareTo(ArgumentSet arg0)

Specified by:

compareTo in interface Comparable<ArgumentSet>

getLdoFormula

public LdoFormula getLdoFormula()

Description copied from interface: DungEntity

Returns a logical representation of this entity in LDO (Logic of dialectical outcomes, cf. [Hunter, Thimm, 2015])

Specified by:

getLdoFormula in interface DungEntity

Returns:

the logical formula of this entity.

getSignature

public Signature getSignature()

Description copied from interface: Formula

Returns the signature of the language of this formula.

Specified by:

getSignature in interface Formula

Returns:

the signature of the language of this formula.