net.sf.tweety.logics.fol.syntax

Class AssociativeFOLFormula

java.lang.Object

net.sf.tweety.logics.fol.syntax.RelationalFormula

net.sf.tweety.logics.fol.syntax.FolFormula

net.sf.tweety.logics.fol.syntax.AssociativeFOLFormula

All Implemented Interfaces:

Iterable<RelationalFormula>, Collection<RelationalFormula>, List<RelationalFormula>, net.sf.tweety.commons.Formula, net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport.AssociativeSupportBridge, net.sf.tweety.logics.commons.syntax.interfaces.AssociativeFormula<RelationalFormula>, net.sf.tweety.logics.commons.syntax.interfaces.ClassicalFormula, net.sf.tweety.logics.commons.syntax.interfaces.ComplexLogicalFormula, net.sf.tweety.logics.commons.syntax.interfaces.Conjuctable, net.sf.tweety.logics.commons.syntax.interfaces.Disjunctable, net.sf.tweety.logics.commons.syntax.interfaces.Invertable, net.sf.tweety.logics.commons.syntax.interfaces.LogicStructure, net.sf.tweety.logics.commons.syntax.interfaces.ProbabilityAware, net.sf.tweety.logics.commons.syntax.interfaces.QuantifiedFormula, net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

Direct Known Subclasses:

Conjunction, Disjunction

public abstract class AssociativeFOLFormula
extends FolFormula
implements net.sf.tweety.logics.commons.syntax.interfaces.AssociativeFormula<RelationalFormula>, net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport.AssociativeSupportBridge

This class captures the common functionalities first order associative formulas like conjunction, disjunction, etc.

Author:

Matthias Thimm, Tim Janus

Field Summary

Fields

Modifier and Type	Field and Description
protected net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport<RelationalFormula>	support This helper class implements most of the common functionality of an associative formula, so the implementation can delegate the method calls to the support class.

Constructor Summary

Constructors

Constructor and Description
AssociativeFOLFormula() Creates a new (empty) associative formula.
AssociativeFOLFormula(Collection<? extends RelationalFormula> formulas) Creates a new associative formula with the given inner formulas.
AssociativeFOLFormula(RelationalFormula first, RelationalFormula second) Creates a new associative formula with the two given formulae

Method Summary

Modifier and Type	Method and Description
void	add(int index, RelationalFormula element)
boolean	add(RelationalFormula e)
boolean	addAll(Collection<? extends RelationalFormula> c)
boolean	addAll(int index, Collection<? extends RelationalFormula> c)
void	clear()
boolean	contains(Object o)
boolean	containsAll(Collection<?> c)
boolean	containsQuantifier()
net.sf.tweety.commons.Signature	createEmptySignature()
boolean	equals(Object obj)
RelationalFormula	get(int index)
Set<FOLAtom>	getAtoms()
List<RelationalFormula>	getFormulas()
<C extends net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula> Set<C>	getFormulas(Class<C> cls)
Set<net.sf.tweety.logics.commons.syntax.Functor>	getFunctors()
Set<? extends net.sf.tweety.logics.commons.syntax.Predicate>	getPredicates()
Set<net.sf.tweety.logics.commons.syntax.Variable>	getQuantifierVariables()
Set<net.sf.tweety.logics.commons.syntax.interfaces.Term<?>>	getTerms()
<C extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> Set<C>	getTerms(Class<C> cls)
Set<net.sf.tweety.logics.commons.syntax.Variable>	getUnboundVariables()
int	hashCode()
int	indexOf(Object o)
boolean	isClosed()
boolean	isClosed(Set<net.sf.tweety.logics.commons.syntax.Variable> boundVariables)
boolean	isEmpty()
boolean	isLiteral()
boolean	isWellBound()
boolean	isWellBound(Set<net.sf.tweety.logics.commons.syntax.Variable> boundVariables)
Iterator<RelationalFormula>	iterator()
int	lastIndexOf(Object o)
ListIterator<RelationalFormula>	listIterator()
ListIterator<RelationalFormula>	listIterator(int index)
RelationalFormula	remove(int index)
boolean	remove(Object o)
boolean	removeAll(Collection<?> c)
boolean	retainAll(Collection<?> c)
RelationalFormula	set(int index, RelationalFormula element)
int	size()
List<RelationalFormula>	subList(int fromIndex, int toIndex)
AssociativeFOLFormula	substitute(Map<? extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>,? extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> termMap) Substitutes all occurrences of all terms "v" in map.keyset() in this formula by map.get(v) and returns the new formula. NOTE: variables bound to quantifiers are not substituted in their inner formulas even if they appear in the map.
AssociativeFOLFormula	substitute(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t) Substitutes all occurrences of term "v" in this formula by term "t" and returns the new formula.
Object[]	toArray()
<T> T[]	toArray(T[] a)
String	toString()

Methods inherited from class net.sf.tweety.logics.fol.syntax.FolFormula

clone, collapseAssociativeFormulas, combineWithAnd, combineWithOr, complement, getUniformProbability, isDnf, toDnf, toNnf

Methods inherited from class net.sf.tweety.logics.fol.syntax.RelationalFormula

allGroundInstances, allSubstitutions, containsTermsOfType, exchange, getFormula, getPredicateCls, getSatisfactionRatio, getSignature, isGround, isWellFormed

Methods inherited from class java.lang.Object

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

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

clone, getPredicateCls

Methods inherited from interface net.sf.tweety.commons.Formula

getSignature

Methods inherited from interface java.util.List

replaceAll, sort, spliterator

Methods inherited from interface java.util.Collection

parallelStream, removeIf, stream

Methods inherited from interface java.lang.Iterable

forEach

Methods inherited from interface net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport.AssociativeSupportBridge

createEmptyFormula, getEmptySymbol, getOperatorSymbol

Field Detail

support

protected net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport<RelationalFormula> support

This helper class implements most of the common functionality of an associative formula, so the implementation can delegate the method calls to the support class.

Constructor Detail

AssociativeFOLFormula

public AssociativeFOLFormula()

Creates a new (empty) associative formula.

AssociativeFOLFormula

public AssociativeFOLFormula(RelationalFormula first,
                             RelationalFormula second)

Creates a new associative formula with the two given formulae

Parameters:

first - a relational formula.

second - a relational formula.

AssociativeFOLFormula

public AssociativeFOLFormula(Collection<? extends RelationalFormula> formulas)

Creates a new associative formula with the given inner formulas.

Parameters:

formulas - a collection of formulas.

Method Detail

createEmptySignature

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

Specified by:

createEmptySignature in interface net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport.AssociativeSupportBridge

getFunctors

public Set<net.sf.tweety.logics.commons.syntax.Functor> getFunctors()

Specified by:

getFunctors in class RelationalFormula

Returns:

all functor that appear in this formula.

containsQuantifier

public boolean containsQuantifier()

Specified by:

containsQuantifier in interface net.sf.tweety.logics.commons.syntax.interfaces.QuantifiedFormula

getUnboundVariables

public Set<net.sf.tweety.logics.commons.syntax.Variable> getUnboundVariables()

Specified by:

getUnboundVariables in interface net.sf.tweety.logics.commons.syntax.interfaces.QuantifiedFormula

isClosed

public boolean isClosed()

Specified by:

isClosed in interface net.sf.tweety.logics.commons.syntax.interfaces.QuantifiedFormula

isClosed

public boolean isClosed(Set<net.sf.tweety.logics.commons.syntax.Variable> boundVariables)

Specified by:

isClosed in interface net.sf.tweety.logics.commons.syntax.interfaces.QuantifiedFormula

isWellBound

public boolean isWellBound()

Specified by:

isWellBound in interface net.sf.tweety.logics.commons.syntax.interfaces.QuantifiedFormula

isWellBound

public boolean isWellBound(Set<net.sf.tweety.logics.commons.syntax.Variable> boundVariables)

Specified by:

isWellBound in interface net.sf.tweety.logics.commons.syntax.interfaces.QuantifiedFormula

isLiteral

public boolean isLiteral()

Specified by:

isLiteral in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

getQuantifierVariables

public Set<net.sf.tweety.logics.commons.syntax.Variable> getQuantifierVariables()

Specified by:

getQuantifierVariables in interface net.sf.tweety.logics.commons.syntax.interfaces.QuantifiedFormula

Overrides:

getQuantifierVariables in class FolFormula

getFormulas

public List<RelationalFormula> getFormulas()

Specified by:

getFormulas in interface net.sf.tweety.logics.commons.syntax.interfaces.AssociativeFormula<RelationalFormula>

getFormulas

public <C extends net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula> Set<C> getFormulas(Class<C> cls)

Specified by:

getFormulas in interface net.sf.tweety.logics.commons.syntax.interfaces.AssociativeFormula<RelationalFormula>

getAtoms

public Set<FOLAtom> getAtoms()

Specified by:

getAtoms in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

Specified by:

getAtoms in class RelationalFormula

Returns:

all atoms that appear in this formula.

getTerms

public Set<net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> getTerms()

Specified by:

getTerms in interface net.sf.tweety.logics.commons.syntax.interfaces.LogicStructure

getTerms

public <C extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> Set<C> getTerms(Class<C> cls)

Specified by:

getTerms in interface net.sf.tweety.logics.commons.syntax.interfaces.LogicStructure

getPredicates

public Set<? extends net.sf.tweety.logics.commons.syntax.Predicate> getPredicates()

Specified by:

getPredicates in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

substitute

public AssociativeFOLFormula substitute(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v,
                                        net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t)

Description copied from class: RelationalFormula

Substitutes all occurrences of term "v" in this formula by term "t" and returns the new formula. NOTE: if "v" is a variable and bound to a quantifier then "v" is not substituted in that quantifiers inner formula.

Specified by:

substitute in interface net.sf.tweety.logics.commons.syntax.interfaces.ComplexLogicalFormula

Specified by:

substitute in class FolFormula

Parameters:

v - the term to be substituted.

t - the term to substitute.

Returns:

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

substitute

public AssociativeFOLFormula substitute(Map<? extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>,? extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> termMap)

Description copied from class: RelationalFormula

Substitutes all occurrences of all terms "v" in map.keyset() in this formula by map.get(v) and returns the new formula.
NOTE: variables bound to quantifiers are not substituted in their inner formulas even if they appear in the map.

Specified by:

substitute in interface net.sf.tweety.logics.commons.syntax.interfaces.ComplexLogicalFormula

Overrides:

substitute in class RelationalFormula

Parameters:

termMap - a mapping defining which terms to be substituted.

Returns:

a formula where every term in map.keyset() has been replaced by map.get(v).

toString

public String toString()

Specified by:

toString in class RelationalFormula

hashCode

public int hashCode()

Specified by:

hashCode in interface Collection<RelationalFormula>

Specified by:

hashCode in interface List<RelationalFormula>

Specified by:

hashCode in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Specified by:

equals in interface Collection<RelationalFormula>

Specified by:

equals in interface List<RelationalFormula>

Specified by:

equals in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

Overrides:

equals in class Object

add

public boolean add(RelationalFormula e)

Specified by:

add in interface Collection<RelationalFormula>

Specified by:

add in interface List<RelationalFormula>

addAll

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

Specified by:

addAll in interface Collection<RelationalFormula>

Specified by:

addAll in interface List<RelationalFormula>

clear

public void clear()

Specified by:

clear in interface Collection<RelationalFormula>

Specified by:

clear in interface List<RelationalFormula>

contains

public boolean contains(Object o)

Specified by:

contains in interface Collection<RelationalFormula>

Specified by:

contains in interface List<RelationalFormula>

containsAll

public boolean containsAll(Collection<?> c)

Specified by:

containsAll in interface Collection<RelationalFormula>

Specified by:

containsAll in interface List<RelationalFormula>

isEmpty

public boolean isEmpty()

Specified by:

isEmpty in interface Collection<RelationalFormula>

Specified by:

isEmpty in interface List<RelationalFormula>

iterator

public Iterator<RelationalFormula> iterator()

Specified by:

iterator in interface Iterable<RelationalFormula>

Specified by:

iterator in interface Collection<RelationalFormula>

Specified by:

iterator in interface List<RelationalFormula>

remove

public boolean remove(Object o)

Specified by:

remove in interface Collection<RelationalFormula>

Specified by:

remove in interface List<RelationalFormula>

removeAll

public boolean removeAll(Collection<?> c)

Specified by:

removeAll in interface Collection<RelationalFormula>

Specified by:

removeAll in interface List<RelationalFormula>

retainAll

public boolean retainAll(Collection<?> c)

Specified by:

retainAll in interface Collection<RelationalFormula>

Specified by:

retainAll in interface List<RelationalFormula>

size

public int size()

Specified by:

size in interface Collection<RelationalFormula>

Specified by:

size in interface List<RelationalFormula>

toArray

public Object[] toArray()

Specified by:

toArray in interface Collection<RelationalFormula>

Specified by:

toArray in interface List<RelationalFormula>

toArray

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

Specified by:

toArray in interface Collection<RelationalFormula>

Specified by:

toArray in interface List<RelationalFormula>

add

public void add(int index,
                RelationalFormula element)

Specified by:

add in interface List<RelationalFormula>

addAll

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

Specified by:

addAll in interface List<RelationalFormula>

get

public RelationalFormula get(int index)

Specified by:

get in interface List<RelationalFormula>

indexOf

public int indexOf(Object o)

Specified by:

indexOf in interface List<RelationalFormula>

lastIndexOf

public int lastIndexOf(Object o)

Specified by:

lastIndexOf in interface List<RelationalFormula>

listIterator

public ListIterator<RelationalFormula> listIterator()

Specified by:

listIterator in interface List<RelationalFormula>

listIterator

public ListIterator<RelationalFormula> listIterator(int index)

Specified by:

listIterator in interface List<RelationalFormula>

remove

public RelationalFormula remove(int index)

Specified by:

remove in interface List<RelationalFormula>

set

public RelationalFormula set(int index,
                             RelationalFormula element)

Specified by:

set in interface List<RelationalFormula>

subList

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

Specified by:

subList in interface List<RelationalFormula>