Package net.sf.tweety.logics.commons.syntax

Class AssociativeFormulaSupport<T extends SimpleLogicalFormula>

java.lang.Object

net.sf.tweety.logics.commons.syntax.ComplexLogicalFormulaAdapter

net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport<T>

Type Parameters:

T - The type of the formulas which are saved by the associative formula support.

All Implemented Interfaces:

Iterable<T>, Collection<T>, List<T>, net.sf.tweety.commons.Formula, AssociativeFormula<T>, ComplexLogicalFormula, LogicStructure, SimpleLogicalFormula

public class AssociativeFormulaSupport<T extends SimpleLogicalFormula>
extends ComplexLogicalFormulaAdapter
implements AssociativeFormula<T>

This class provides common implementation for associative formulas that are formulas which consists of several other formulas. It implements common methods like getTerms(), getFormulas() or getAtoms(). Although SimpleLogicalFormula can be used as content for an associative Formula this support class also implements the functionality for ComplexLogicalFormula and assumes that methods of ComplexLogicalFormula like substitute() are not called by the parent of the AssociativeFormulaSupport, otherwise a ClassCastException will occur.

Author:

Tim Janus

Nested Class Summary

Nested Classes

Modifier and Type	Class	Description
static interface	AssociativeFormulaSupport.AssociativeSupportBridge	This interface defines a bridge between the AssociativeFormula implementation like a concrete Disjunction and the AssociativeFormulaSupport object which adds the implementation of the common functionality.

Constructor Summary

Constructors

Constructor	Description
AssociativeFormulaSupport(AssociativeFormulaSupport.AssociativeSupportBridge bridge)	Ctor: Creates a AssociativeFormulaSupport object that uses the given bridge
AssociativeFormulaSupport(AssociativeFormulaSupport<T> other)	Copy-Ctor creates a deep copy of the associative formula support.

Method Summary

Modifier and Type	Method	Description
void	add(int index, T element)
boolean	add(T e)
boolean	add(T... formulas)	Appends the specified elements to the end of this collection (optional operation).
boolean	addAll(int index, Collection<? extends T> c)
boolean	addAll(Collection<? extends T> c)
void	clear()
AssociativeFormulaSupport<T>	clone()	Creates a deep copy of this formula
boolean	contains(Object o)
boolean	containsAll(Collection<?> c)
Collection<T>	copyHelper(Collection<T> collection)	This method generates a deep copy of the given collection of RelationalFormula
boolean	equals(Object other)
T	get(int index)
Set<? extends Atom>	getAtoms()	Processes the set of all atoms which appear in this formula
List<T>	getFormulas()
<C extends SimpleLogicalFormula> Set<C>	getFormulas(Class<C> cls)	Process the formulas of type C that are children of this associative formula
Class<? extends Predicate>	getPredicateCls()
Set<? extends Predicate>	getPredicates()	Processes the set of all predicates which appear in this formula
net.sf.tweety.commons.Signature	getSignature()
Set<Term<?>>	getTerms()
<C extends Term<?>> Set<C>	getTerms(Class<C> cls)	Processes the set containing all terms of type C.
int	hashCode()
int	indexOf(Object o)
boolean	isEmpty()
boolean	isWellFormed()	Checks if this formula is well formed in the logical langauge.
Iterator<T>	iterator()
int	lastIndexOf(Object o)
ListIterator<T>	listIterator()
ListIterator<T>	listIterator(int index)
T	remove(int index)
boolean	remove(Object o)
boolean	removeAll(Collection<?> c)
boolean	retainAll(Collection<?> c)
T	set(int index, T element)
int	size()
List<T>	subList(int fromIndex, int toIndex)
ComplexLogicalFormula	substitute(Term<?> v, Term<?> t)	Substitutes all occurrences of term "v" in this formula by term "t" and returns the new formula.
Object[]	toArray()
<C> C[]	toArray(C[] a)
String	toString()

Methods inherited from class net.sf.tweety.logics.commons.syntax.ComplexLogicalFormulaAdapter

containsTermsOfType, exchange, isGround, isLiteral, substitute

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Collection

parallelStream, removeIf, stream, toArray

Methods inherited from interface java.lang.Iterable

forEach

Methods inherited from interface java.util.List

replaceAll, sort, spliterator

Methods inherited from interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

isLiteral

Constructor Detail

AssociativeFormulaSupport

public AssociativeFormulaSupport(AssociativeFormulaSupport.AssociativeSupportBridge bridge)

Ctor: Creates a AssociativeFormulaSupport object that uses the given bridge

Parameters:

bridge - an associative support bridge

AssociativeFormulaSupport

public AssociativeFormulaSupport(AssociativeFormulaSupport<T> other)

Copy-Ctor creates a deep copy of the associative formula support.

Parameters:

other - another associative formula suppport

Method Detail

copyHelper

public Collection<T> copyHelper(Collection<T> collection)

This method generates a deep copy of the given collection of RelationalFormula

Parameters:

collection - The collection of RelationalFormula to copy

Returns:

A collection containing the deep copy of the given collection

getFormulas

public List<T> getFormulas()

Specified by:

getFormulas in interface AssociativeFormula<T extends SimpleLogicalFormula>

Returns:

all the formulas saved as childs in the associative formula

getFormulas

public <C extends SimpleLogicalFormula> Set<C> getFormulas(Class<C> cls)

Description copied from interface: AssociativeFormula

Process the formulas of type C that are children of this associative formula

Specified by:

getFormulas in interface AssociativeFormula<T extends SimpleLogicalFormula>

Type Parameters:

C - the type of formulas

Parameters:

cls - the class structure defining the type of formulas which are searched.

Returns:

A set of formulas of type C which are members of the associative formula

getAtoms

public Set<? extends Atom> getAtoms()

Description copied from interface: SimpleLogicalFormula

Processes the set of all atoms which appear in this formula

Specified by:

getAtoms in interface SimpleLogicalFormula

Returns:

The set of all atoms

getPredicates

public Set<? extends Predicate> getPredicates()

Description copied from interface: SimpleLogicalFormula

Processes the set of all predicates which appear in this formula

Specified by:

getPredicates in interface SimpleLogicalFormula

Returns:

all predicates that appear in this formula

getSignature

public net.sf.tweety.commons.Signature getSignature()

Specified by:

getSignature in interface net.sf.tweety.commons.Formula

toString

public String toString()

Overrides:

toString in class Object

equals

public boolean equals(Object other)

Specified by:

equals in interface Collection<T extends SimpleLogicalFormula>

Specified by:

equals in interface List<T extends SimpleLogicalFormula>

Specified by:

equals in interface SimpleLogicalFormula

Overrides:

equals in class Object

hashCode

public int hashCode()

Specified by:

hashCode in interface Collection<T extends SimpleLogicalFormula>

Specified by:

hashCode in interface List<T extends SimpleLogicalFormula>

Specified by:

hashCode in interface SimpleLogicalFormula

Overrides:

hashCode in class Object

clone

public AssociativeFormulaSupport<T> clone()

Description copied from interface: SimpleLogicalFormula

Creates a deep copy of this formula

Specified by:

clone in interface ComplexLogicalFormula

Specified by:

clone in interface SimpleLogicalFormula

Specified by:

clone in class ComplexLogicalFormulaAdapter

Returns:

the cloned formula

getTerms

public Set<Term<?>> getTerms()

Specified by:

getTerms in interface LogicStructure

Returns:

a set containing all terms of this logical structure

getTerms

public <C extends Term<?>> Set<C> getTerms(Class<C> cls)

Description copied from interface: LogicStructure

Processes the set containing all terms of type C. This method uses the equals method of the given Class and therefore does not add terms which are sub classes of type C to the set.

Specified by:

getTerms in interface LogicStructure

Overrides:

getTerms in class ComplexLogicalFormulaAdapter

Type Parameters:

C - the type of terms

Parameters:

cls - The Class structure containing type information about the searched term

Returns:

A set containing all terms of type C of this logical structure

substitute

public ComplexLogicalFormula substitute(Term<?> v,
                                        Term<?> t)
                                 throws IllegalArgumentException

Description copied from interface: ComplexLogicalFormula

Substitutes all occurrences of term "v" in this formula by term "t" and returns the new formula.

Specified by:

substitute in interface ComplexLogicalFormula

Parameters:

v - the term to be substituted.

t - the term to substitute.

Returns:

a formula where every occurrence of "v" is replaced by "t".

Throws:

IllegalArgumentException - if "v" and "t" are of different sorts

isWellFormed

public boolean isWellFormed()

Description copied from interface: ComplexLogicalFormula

Checks if this formula is well formed in the logical langauge. What well- formed means is highly language dependent and the documentation of implementing sub classes shall describe the well formed term for the language they model.

Specified by:

isWellFormed in interface ComplexLogicalFormula

Overrides:

isWellFormed in class ComplexLogicalFormulaAdapter

Returns:

true if the formula is well-formed, false otherwise

add

public boolean add(T e)

Specified by:

add in interface Collection<T extends SimpleLogicalFormula>

Specified by:

add in interface List<T extends SimpleLogicalFormula>

add

public boolean add(T... formulas)

Appends the specified elements to the end of this collection (optional operation).

Parameters:

formulas - to be appended to collection

Returns:

true if all elements were added, false otherwise

addAll

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

Specified by:

addAll in interface Collection<T extends SimpleLogicalFormula>

Specified by:

addAll in interface List<T extends SimpleLogicalFormula>

clear

public void clear()

Specified by:

clear in interface Collection<T extends SimpleLogicalFormula>

Specified by:

clear in interface List<T extends SimpleLogicalFormula>

contains

public boolean contains(Object o)

Specified by:

contains in interface Collection<T extends SimpleLogicalFormula>

Specified by:

contains in interface List<T extends SimpleLogicalFormula>

containsAll

public boolean containsAll(Collection<?> c)

Specified by:

containsAll in interface Collection<T extends SimpleLogicalFormula>

Specified by:

containsAll in interface List<T extends SimpleLogicalFormula>

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface Collection<T extends SimpleLogicalFormula>

Specified by:

isEmpty in interface List<T extends SimpleLogicalFormula>

iterator

public Iterator<T> iterator()

Specified by:

iterator in interface Collection<T extends SimpleLogicalFormula>

Specified by:

iterator in interface Iterable<T extends SimpleLogicalFormula>

Specified by:

iterator in interface List<T extends SimpleLogicalFormula>

remove

public boolean remove(Object o)

Specified by:

remove in interface Collection<T extends SimpleLogicalFormula>

Specified by:

remove in interface List<T extends SimpleLogicalFormula>

removeAll

public boolean removeAll(Collection<?> c)

Specified by:

removeAll in interface Collection<T extends SimpleLogicalFormula>

Specified by:

removeAll in interface List<T extends SimpleLogicalFormula>

retainAll

public boolean retainAll(Collection<?> c)

Specified by:

retainAll in interface Collection<T extends SimpleLogicalFormula>

Specified by:

retainAll in interface List<T extends SimpleLogicalFormula>

size

public int size()

Specified by:

size in interface Collection<T extends SimpleLogicalFormula>

Specified by:

size in interface List<T extends SimpleLogicalFormula>

toArray

public Object[] toArray()

Specified by:

toArray in interface Collection<T extends SimpleLogicalFormula>

Specified by:

toArray in interface List<T extends SimpleLogicalFormula>

toArray

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

Specified by:

toArray in interface Collection<T extends SimpleLogicalFormula>

Specified by:

toArray in interface List<T extends SimpleLogicalFormula>

getPredicateCls

public Class<? extends Predicate> getPredicateCls()

Specified by:

getPredicateCls in interface SimpleLogicalFormula

Returns:

The class description of the predicate used by this formula.

add

public void add(int index,
                T element)

Specified by:

add in interface List<T extends SimpleLogicalFormula>

addAll

public boolean addAll(int index,
                      Collection<? extends T> c)

Specified by:

addAll in interface List<T extends SimpleLogicalFormula>

get

public T get(int index)

Specified by:

get in interface List<T extends SimpleLogicalFormula>

indexOf

public int indexOf(Object o)

Specified by:

indexOf in interface List<T extends SimpleLogicalFormula>

lastIndexOf

public int lastIndexOf(Object o)

Specified by:

lastIndexOf in interface List<T extends SimpleLogicalFormula>

listIterator

public ListIterator<T> listIterator()

Specified by:

listIterator in interface List<T extends SimpleLogicalFormula>

listIterator

public ListIterator<T> listIterator(int index)

Specified by:

listIterator in interface List<T extends SimpleLogicalFormula>

remove

public T remove(int index)

Specified by:

remove in interface List<T extends SimpleLogicalFormula>

set

public T set(int index,
             T element)

Specified by:

set in interface List<T extends SimpleLogicalFormula>

subList

public List<T> subList(int fromIndex,
                       int toIndex)

Specified by:

subList in interface List<T extends SimpleLogicalFormula>