Package net.sf.tweety.logics.rdl.semantics

Class Extension

java.lang.Object

net.sf.tweety.commons.AbstractInterpretation<DefaultTheory,net.sf.tweety.logics.fol.syntax.FolFormula>

net.sf.tweety.logics.rdl.semantics.Extension

All Implemented Interfaces:

Iterable<net.sf.tweety.logics.fol.syntax.FolFormula>, Collection<net.sf.tweety.logics.fol.syntax.FolFormula>, net.sf.tweety.commons.Interpretation<DefaultTheory,net.sf.tweety.logics.fol.syntax.FolFormula>

public class Extension
extends net.sf.tweety.commons.AbstractInterpretation<DefaultTheory,net.sf.tweety.logics.fol.syntax.FolFormula>
implements Collection<net.sf.tweety.logics.fol.syntax.FolFormula>

An extension of a default theory, i.e. a set of first-order formulas.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor	Description
Extension()	Default constructor
Extension(Collection<net.sf.tweety.logics.fol.syntax.FolFormula> formulas)	Creates a new extension with the given set of formulas.

Method Summary

Modifier and Type	Method	Description
boolean	add(net.sf.tweety.logics.fol.syntax.FolFormula e)
boolean	addAll(Collection<? extends net.sf.tweety.logics.fol.syntax.FolFormula> c)
void	clear()
boolean	contains(Object o)
boolean	containsAll(Collection<?> c)
boolean	equals(Object obj)
int	hashCode()
boolean	isEmpty()
Iterator<net.sf.tweety.logics.fol.syntax.FolFormula>	iterator()
boolean	remove(Object o)
boolean	removeAll(Collection<?> c)
boolean	retainAll(Collection<?> c)
boolean	satisfies(net.sf.tweety.logics.fol.syntax.FolFormula formula)
boolean	satisfies(DefaultTheory beliefBase)
int	size()
Object[]	toArray()
<T> T[]	toArray(T[] a)

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

satisfies

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, toString, 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

Extension

public Extension()

Default constructor

Extension

public Extension(Collection<net.sf.tweety.logics.fol.syntax.FolFormula> formulas)

Creates a new extension with the given set of formulas.

Parameters:

formulas - some formulas.

Method Detail

satisfies

public boolean satisfies(net.sf.tweety.logics.fol.syntax.FolFormula formula)
                  throws IllegalArgumentException

Specified by:

satisfies in interface net.sf.tweety.commons.Interpretation<DefaultTheory,net.sf.tweety.logics.fol.syntax.FolFormula>

Throws:

IllegalArgumentException

satisfies

public boolean satisfies(DefaultTheory beliefBase)
                  throws IllegalArgumentException

Specified by:

satisfies in interface net.sf.tweety.commons.Interpretation<DefaultTheory,net.sf.tweety.logics.fol.syntax.FolFormula>

Throws:

IllegalArgumentException

size

public int size()

Specified by:

size in interface Collection<net.sf.tweety.logics.fol.syntax.FolFormula>

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface Collection<net.sf.tweety.logics.fol.syntax.FolFormula>

contains

public boolean contains(Object o)

Specified by:

contains in interface Collection<net.sf.tweety.logics.fol.syntax.FolFormula>

iterator

public Iterator<net.sf.tweety.logics.fol.syntax.FolFormula> iterator()

Specified by:

iterator in interface Collection<net.sf.tweety.logics.fol.syntax.FolFormula>

Specified by:

iterator in interface Iterable<net.sf.tweety.logics.fol.syntax.FolFormula>

toArray

public Object[] toArray()

Specified by:

toArray in interface Collection<net.sf.tweety.logics.fol.syntax.FolFormula>

toArray

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

Specified by:

toArray in interface Collection<net.sf.tweety.logics.fol.syntax.FolFormula>

add

public boolean add(net.sf.tweety.logics.fol.syntax.FolFormula e)

Specified by:

add in interface Collection<net.sf.tweety.logics.fol.syntax.FolFormula>

remove

public boolean remove(Object o)

Specified by:

remove in interface Collection<net.sf.tweety.logics.fol.syntax.FolFormula>

containsAll

public boolean containsAll(Collection<?> c)

Specified by:

containsAll in interface Collection<net.sf.tweety.logics.fol.syntax.FolFormula>

addAll

public boolean addAll(Collection<? extends net.sf.tweety.logics.fol.syntax.FolFormula> c)

Specified by:

addAll in interface Collection<net.sf.tweety.logics.fol.syntax.FolFormula>

removeAll

public boolean removeAll(Collection<?> c)

Specified by:

removeAll in interface Collection<net.sf.tweety.logics.fol.syntax.FolFormula>

retainAll

public boolean retainAll(Collection<?> c)

Specified by:

retainAll in interface Collection<net.sf.tweety.logics.fol.syntax.FolFormula>

clear

public void clear()

Specified by:

clear in interface Collection<net.sf.tweety.logics.fol.syntax.FolFormula>

hashCode

public int hashCode()

Specified by:

hashCode in interface Collection<net.sf.tweety.logics.fol.syntax.FolFormula>

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Specified by:

equals in interface Collection<net.sf.tweety.logics.fol.syntax.FolFormula>

Overrides:

equals in class Object