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

Class AbaExtension<T extends 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:

java.lang.Iterable<Assumption<T>>, java.util.Collection<Assumption<T>>, Interpretation<ABATheory<T>,Assumption<T>>

public class AbaExtension<T extends Formula>
extends AbstractInterpretation<ABATheory<T>,Assumption<T>>
implements java.util.Collection<Assumption<T>>

An set of assumptions.

Author:

Matthias Thimm

Field Summary

Fields

Modifier and Type	Field	Description
private java.util.Collection<Assumption<T>>	assumptions	the assumptions

Constructor Summary

Constructors

Constructor	Description
AbaExtension()	Default constructor
AbaExtension(java.util.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(java.util.Collection<? extends Assumption<T>> c)
void	clear()
boolean	contains(java.lang.Object o)
boolean	containsAll(java.util.Collection<?> c)
boolean	equals(java.lang.Object obj)
int	hashCode()
boolean	isEmpty()
java.util.Iterator<Assumption<T>>	iterator()
boolean	remove(java.lang.Object o)
boolean	removeAll(java.util.Collection<?> c)
boolean	retainAll(java.util.Collection<?> c)
boolean	satisfies(ABATheory<T> beliefBase)	Checks whether this interpretation satisfies the given knowledge base.
boolean	satisfies(Assumption<T> formula)	Checks whether this interpretation satisfies the given formula.
int	size()
java.lang.Object[]	toArray()
<R> R[]	toArray(R[] a)
java.lang.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

Field Detail

assumptions

private java.util.Collection<Assumption<T extends Formula>> assumptions

the assumptions

Constructor Detail

AbaExtension

public AbaExtension()

Default constructor

AbaExtension

public AbaExtension(java.util.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 java.lang.IllegalArgumentException

Description copied from interface: Interpretation

Checks whether this interpretation satisfies the given formula.

Specified by:

satisfies in interface Interpretation<ABATheory<T extends Formula>,Assumption<T extends Formula>>

Parameters:

formula - a formula .

Returns:

"true" if this interpretation satisfies the given formula.

Throws:

java.lang.IllegalArgumentException - if the formula does not correspond to the expected language.

satisfies

public boolean satisfies(ABATheory<T> beliefBase)
                  throws java.lang.IllegalArgumentException

Description copied from interface: Interpretation

Checks whether this interpretation satisfies the given knowledge base.

Specified by:

satisfies in interface Interpretation<ABATheory<T extends Formula>,Assumption<T extends Formula>>

Parameters:

beliefBase - a knowledge base.

Returns:

"true" if this interpretation satisfies the given knowledge base.

Throws:

java.lang.IllegalArgumentException - IllegalArgumentException if the knowledgebase does not correspond to the expected language.

size

public int size()

Specified by:

size in interface java.util.Collection<T extends Formula>

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface java.util.Collection<T extends Formula>

contains

public boolean contains(java.lang.Object o)

Specified by:

contains in interface java.util.Collection<T extends Formula>

iterator

public java.util.Iterator<Assumption<T>> iterator()

Specified by:

iterator in interface java.util.Collection<T extends Formula>

Specified by:

iterator in interface java.lang.Iterable<T extends Formula>

toArray

public java.lang.Object[] toArray()

Specified by:

toArray in interface java.util.Collection<T extends Formula>

toArray

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

Specified by:

toArray in interface java.util.Collection<T extends Formula>

add

public boolean add(Assumption<T> e)

Specified by:

add in interface java.util.Collection<T extends Formula>

remove

public boolean remove(java.lang.Object o)

Specified by:

remove in interface java.util.Collection<T extends Formula>

containsAll

public boolean containsAll(java.util.Collection<?> c)

Specified by:

containsAll in interface java.util.Collection<T extends Formula>

addAll

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

Specified by:

addAll in interface java.util.Collection<T extends Formula>

removeAll

public boolean removeAll(java.util.Collection<?> c)

Specified by:

removeAll in interface java.util.Collection<T extends Formula>

retainAll

public boolean retainAll(java.util.Collection<?> c)

Specified by:

retainAll in interface java.util.Collection<T extends Formula>

clear

public void clear()

Specified by:

clear in interface java.util.Collection<T extends Formula>

hashCode

public int hashCode()

Specified by:

hashCode in interface java.util.Collection<T extends Formula>

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Specified by:

equals in interface java.util.Collection<T extends Formula>

Overrides:

equals in class java.lang.Object

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object