Package net.sf.tweety.arg.aba.semantics

Class AbaExtension<T extends net.sf.tweety.commons.Formula>

java.lang.Object

net.sf.tweety.commons.AbstractInterpretation<AbaTheory<T>,Assumption<T>>

net.sf.tweety.arg.aba.semantics.AbaExtension<T>

Type Parameters:

T - The type of formulas

All Implemented Interfaces:

Iterable<Assumption<T>>, Collection<Assumption<T>>, net.sf.tweety.commons.Interpretation<AbaTheory<T>,Assumption<T>>

public class AbaExtension<T extends net.sf.tweety.commons.Formula>
extends net.sf.tweety.commons.AbstractInterpretation<AbaTheory<T>,Assumption<T>>
implements Collection<Assumption<T>>

This class models an ABA Extension, meaning a set of assumptions.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
AbaExtension()	Default constructor
AbaExtension(Collection<Assumption<T>> assumptions)	Creates a new extension with the given assumptions.

Method Summary

Modifier and Type	Method	Description
boolean	add(Assumption<T> e)
boolean	addAll(Collection<? extends Assumption<T>> c)
void	clear()
boolean	contains(Object o)
boolean	containsAll(Collection<?> c)
boolean	equals(Object obj)
int	hashCode()
boolean	isEmpty()
Iterator<Assumption<T>>	iterator()
boolean	remove(Object o)
boolean	removeAll(Collection<?> c)
boolean	retainAll(Collection<?> c)
boolean	satisfies(AbaTheory<T> beliefBase)
boolean	satisfies(Assumption<T> formula)
int	size()
Object[]	toArray()
<R> R[]	toArray(R[] a)
String	toString()

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

satisfies

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, toArray

Methods inherited from interface java.lang.Iterable

forEach

Constructor Detail

AbaExtension

public AbaExtension()

Default constructor

AbaExtension

public AbaExtension(Collection<Assumption<T>> assumptions)

Creates a new extension with the given assumptions.

Parameters:

assumptions - a set of assumptions

Method Detail

satisfies

public boolean satisfies(Assumption<T> formula)
                  throws IllegalArgumentException

Specified by:

satisfies in interface net.sf.tweety.commons.Interpretation<AbaTheory<T extends net.sf.tweety.commons.Formula>,Assumption<T extends net.sf.tweety.commons.Formula>>

Throws:

IllegalArgumentException

satisfies

public boolean satisfies(AbaTheory<T> beliefBase)
                  throws IllegalArgumentException

Specified by:

satisfies in interface net.sf.tweety.commons.Interpretation<AbaTheory<T extends net.sf.tweety.commons.Formula>,Assumption<T extends net.sf.tweety.commons.Formula>>

Throws:

IllegalArgumentException

size

public int size()

Specified by:

size in interface Collection<T extends net.sf.tweety.commons.Formula>

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface Collection<T extends net.sf.tweety.commons.Formula>

contains

public boolean contains(Object o)

Specified by:

contains in interface Collection<T extends net.sf.tweety.commons.Formula>

iterator

public Iterator<Assumption<T>> iterator()

Specified by:

iterator in interface Collection<T extends net.sf.tweety.commons.Formula>

Specified by:

iterator in interface Iterable<T extends net.sf.tweety.commons.Formula>

toArray

public Object[] toArray()

Specified by:

toArray in interface Collection<T extends net.sf.tweety.commons.Formula>

toArray

public <R> R[] toArray(R[] a)

Specified by:

toArray in interface Collection<T extends net.sf.tweety.commons.Formula>

add

public boolean add(Assumption<T> e)

Specified by:

add in interface Collection<T extends net.sf.tweety.commons.Formula>

remove

public boolean remove(Object o)

Specified by:

remove in interface Collection<T extends net.sf.tweety.commons.Formula>

containsAll

public boolean containsAll(Collection<?> c)

Specified by:

containsAll in interface Collection<T extends net.sf.tweety.commons.Formula>

addAll

public boolean addAll(Collection<? extends Assumption<T>> c)

Specified by:

addAll in interface Collection<T extends net.sf.tweety.commons.Formula>

removeAll

public boolean removeAll(Collection<?> c)

Specified by:

removeAll in interface Collection<T extends net.sf.tweety.commons.Formula>

retainAll

public boolean retainAll(Collection<?> c)

Specified by:

retainAll in interface Collection<T extends net.sf.tweety.commons.Formula>

clear

public void clear()

Specified by:

clear in interface Collection<T extends net.sf.tweety.commons.Formula>

hashCode

public int hashCode()

Specified by:

hashCode in interface Collection<T extends net.sf.tweety.commons.Formula>

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Specified by:

equals in interface Collection<T extends net.sf.tweety.commons.Formula>

Overrides:

equals in class Object

toString

public String toString()

Overrides:

toString in class Object