Class ClaimSet

java.lang.Object

org.tweetyproject.commons.AbstractInterpretation<ClaimBasedTheory, ClaimArgument>

org.tweetyproject.arg.dung.semantics.ClaimSet

All Implemented Interfaces:

Comparable<ClaimSet>, Iterable<ClaimArgument>, Collection<ClaimArgument>, Interpretation<ClaimBasedTheory, ClaimArgument>

public class ClaimSet
extends AbstractInterpretation<ClaimBasedTheory, ClaimArgument>
implements Collection<ClaimArgument>, Comparable<ClaimSet>

a set of claims

Author:

Sebastian Franke

Constructor Summary

Constructors

Constructor	Description
ClaimSet()	constructor
ClaimSet(Set<ClaimArgument> c)	constructor
ClaimSet(ClaimSet c)	constructor

Method Summary

Modifier and Type	Method	Description
boolean	add(ClaimArgument o)
boolean	addAll(Collection<? extends ClaimArgument> c)
void	clear()
int	compareTo(ClaimSet o)
boolean	contains(Object o)
boolean	containsAll(Collection<?> o)
ClaimSet	getArgumentsOfStatus(ArgumentStatus status)
HashSet<ClaimArgument>	getClaims()
boolean	isEmpty()
Iterator<ClaimArgument>	iterator()
boolean	remove(Object o)
boolean	removeAll(Collection<?> c)
boolean	retainAll(Collection<?> c)
boolean	satisfies(ClaimArgument formula)	Checks whether this interpretation satisfies the given formula.
boolean	satisfies(ClaimBasedTheory beliefBase)	Checks whether this interpretation satisfies the given knowledge base.
int	size()
Object[]	toArray()
<T> T[]	toArray(T[] a)
String	toString()

Methods inherited from class org.tweetyproject.commons.AbstractInterpretation

satisfies

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Collection

equals, hashCode, parallelStream, removeIf, spliterator, stream, toArray

Methods inherited from interface java.lang.Iterable

forEach

Constructor Details

ClaimSet

public ClaimSet()

constructor

ClaimSet

public ClaimSet(ClaimSet c)

constructor

Parameters:

c - a claimset

ClaimSet

public ClaimSet(Set<ClaimArgument> c)

constructor

Parameters:

c - claimset

Method Details

getClaims

public HashSet<ClaimArgument> getClaims()

Returns:

the claims

compareTo

public int compareTo(ClaimSet o)

Specified by:

compareTo in interface Comparable<ClaimSet>

size

public int size()

Specified by:

size in interface Collection<ClaimArgument>

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface Collection<ClaimArgument>

contains

public boolean contains(Object o)

Specified by:

contains in interface Collection<ClaimArgument>

iterator

public Iterator<ClaimArgument> iterator()

Specified by:

iterator in interface Collection<ClaimArgument>

Specified by:

iterator in interface Iterable<ClaimArgument>

toArray

public Object[] toArray()

Specified by:

toArray in interface Collection<ClaimArgument>

toArray

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

Specified by:

toArray in interface Collection<ClaimArgument>

add

public boolean add(ClaimArgument o)

Specified by:

add in interface Collection<ClaimArgument>

remove

public boolean remove(Object o)

Specified by:

remove in interface Collection<ClaimArgument>

containsAll

public boolean containsAll(Collection<?> o)

Specified by:

containsAll in interface Collection<ClaimArgument>

addAll

public boolean addAll(Collection<? extends ClaimArgument> c)

Specified by:

addAll in interface Collection<ClaimArgument>

removeAll

public boolean removeAll(Collection<?> c)

Specified by:

removeAll in interface Collection<ClaimArgument>

retainAll

public boolean retainAll(Collection<?> c)

Specified by:

retainAll in interface Collection<ClaimArgument>

clear

public void clear()

Specified by:

clear in interface Collection<ClaimArgument>

toString

public String toString()

Overrides:

toString in class Object

satisfies

public boolean satisfies(ClaimArgument formula)
                  throws IllegalArgumentException

Description copied from interface: Interpretation

Checks whether this interpretation satisfies the given formula.

Specified by:

satisfies in interface Interpretation<ClaimBasedTheory, ClaimArgument>

Parameters:

formula - a formula .

Returns:

"true" if this interpretation satisfies the given formula.

Throws:

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

getArgumentsOfStatus

public ClaimSet getArgumentsOfStatus(ArgumentStatus status)

Parameters:

status - like IN or OUT

Returns:

the claimset with the given status

satisfies

public boolean satisfies(ClaimBasedTheory beliefBase)
                  throws IllegalArgumentException

Description copied from interface: Interpretation

Checks whether this interpretation satisfies the given knowledge base.

Specified by:

satisfies in interface Interpretation<ClaimBasedTheory, ClaimArgument>

Parameters:

beliefBase - a knowledge base.

Returns:

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

Throws:

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