AssociativeFOLFormula (Tweety (FOL) 1.10 API)

java.lang.Object
- net.sf.tweety.logics.commons.syntax.RelationalFormula
- - net.sf.tweety.logics.fol.syntax.FolFormula
  - - net.sf.tweety.logics.fol.syntax.AssociativeFOLFormula

All Implemented Interfaces:

Iterable<net.sf.tweety.logics.commons.syntax.RelationalFormula>, Collection<net.sf.tweety.logics.commons.syntax.RelationalFormula>, List<net.sf.tweety.logics.commons.syntax.RelationalFormula>, net.sf.tweety.commons.Formula, net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport.AssociativeSupportBridge, net.sf.tweety.logics.commons.syntax.interfaces.AssociativeFormula<net.sf.tweety.logics.commons.syntax.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<net.sf.tweety.logics.commons.syntax.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<net.sf.tweety.logics.commons.syntax.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 net.sf.tweety.logics.commons.syntax.RelationalFormula> formulas)` Creates a new associative formula with the given inner formulas.
`AssociativeFOLFormula(net.sf.tweety.logics.commons.syntax.RelationalFormula first, net.sf.tweety.logics.commons.syntax.RelationalFormula second)` Creates a new associative formula with the two given formulae

Method Summary

All Methods Instance Methods Concrete Methods
Modifier and Type	Method and Description
`void`	`add(int index, net.sf.tweety.logics.commons.syntax.RelationalFormula element)`
`boolean`	`add(net.sf.tweety.logics.commons.syntax.RelationalFormula e)`
`boolean`	`addAll(Collection<? extends net.sf.tweety.logics.commons.syntax.RelationalFormula> c)`
`boolean`	`addAll(int index, Collection<? extends net.sf.tweety.logics.commons.syntax.RelationalFormula> c)`
`void`	`clear()`
`boolean`	`contains(Object o)`
`boolean`	`containsAll(Collection<?> c)`
`boolean`	`containsQuantifier()`
`net.sf.tweety.commons.Signature`	`createEmptySignature()`
`boolean`	`equals(Object obj)`
`net.sf.tweety.logics.commons.syntax.RelationalFormula`	`get(int index)`
`Set<FOLAtom>`	`getAtoms()`
`List<net.sf.tweety.logics.commons.syntax.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<net.sf.tweety.logics.commons.syntax.RelationalFormula>`	`iterator()`
`int`	`lastIndexOf(Object o)`
`ListIterator<net.sf.tweety.logics.commons.syntax.RelationalFormula>`	`listIterator()`
`ListIterator<net.sf.tweety.logics.commons.syntax.RelationalFormula>`	`listIterator(int index)`
`net.sf.tweety.logics.commons.syntax.RelationalFormula`	`remove(int index)`
`boolean`	`remove(Object o)`
`boolean`	`removeAll(Collection<?> c)`
`boolean`	`retainAll(Collection<?> c)`
`net.sf.tweety.logics.commons.syntax.RelationalFormula`	`set(int index, net.sf.tweety.logics.commons.syntax.RelationalFormula element)`
`int`	`size()`
`List<net.sf.tweety.logics.commons.syntax.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)`
`AssociativeFOLFormula`	`substitute(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t)`
`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, getSignature, getUniformProbability, isDnf, toDnf, toNnf

Methods inherited from class net.sf.tweety.logics.commons.syntax.RelationalFormula
allGroundInstances, allSubstitutions, containsTermsOfType, exchange, getFormula, getPredicateCls, getSatisfactionRatio, 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<net.sf.tweety.logics.commons.syntax.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(net.sf.tweety.logics.commons.syntax.RelationalFormula first,
                             net.sf.tweety.logics.commons.syntax.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 net.sf.tweety.logics.commons.syntax.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 net.sf.tweety.logics.commons.syntax.RelationalFormula
  - 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<net.sf.tweety.logics.commons.syntax.RelationalFormula> getFormulas()
```
    Specified by:
    
    getFormulas in interface net.sf.tweety.logics.commons.syntax.interfaces.AssociativeFormula<net.sf.tweety.logics.commons.syntax.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<net.sf.tweety.logics.commons.syntax.RelationalFormula>
  - getAtoms
```
public Set<FOLAtom> getAtoms()
```
    Specified by:
    
    getAtoms in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula
    
    Specified by:
    
    getAtoms in class net.sf.tweety.logics.commons.syntax.RelationalFormula
  - 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)
```
    Specified by:
    
    substitute in interface net.sf.tweety.logics.commons.syntax.interfaces.ComplexLogicalFormula
    
    Specified by:
    
    substitute in class FolFormula
  - substitute
```
public AssociativeFOLFormula substitute(Map<? extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>,? extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> termMap)
```
    Specified by:
    
    substitute in interface net.sf.tweety.logics.commons.syntax.interfaces.ComplexLogicalFormula
    
    Overrides:
    
    substitute in class net.sf.tweety.logics.commons.syntax.RelationalFormula
  - toString
```
public String toString()
```
    Specified by:
    
    toString in class net.sf.tweety.logics.commons.syntax.RelationalFormula
  - hashCode
```
public int hashCode()
```
    Specified by:
    
    hashCode in interface Collection<net.sf.tweety.logics.commons.syntax.RelationalFormula>
    
    Specified by:
    
    hashCode in interface List<net.sf.tweety.logics.commons.syntax.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<net.sf.tweety.logics.commons.syntax.RelationalFormula>
    
    Specified by:
    
    equals in interface List<net.sf.tweety.logics.commons.syntax.RelationalFormula>
    
    Specified by:
    
    equals in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula
    
    Overrides:
    
    equals in class Object
  - add
```
public boolean add(net.sf.tweety.logics.commons.syntax.RelationalFormula e)
```
    Specified by:
    
    add in interface Collection<net.sf.tweety.logics.commons.syntax.RelationalFormula>
    
    Specified by:
    
    add in interface List<net.sf.tweety.logics.commons.syntax.RelationalFormula>
  - addAll
```
public boolean addAll(Collection<? extends net.sf.tweety.logics.commons.syntax.RelationalFormula> c)
```
    Specified by:
    
    addAll in interface Collection<net.sf.tweety.logics.commons.syntax.RelationalFormula>
    
    Specified by:
    
    addAll in interface List<net.sf.tweety.logics.commons.syntax.RelationalFormula>
  - clear
```
public void clear()
```
    Specified by:
    
    clear in interface Collection<net.sf.tweety.logics.commons.syntax.RelationalFormula>
    
    Specified by:
    
    clear in interface List<net.sf.tweety.logics.commons.syntax.RelationalFormula>
  - contains
```
public boolean contains(Object o)
```
    Specified by:
    
    contains in interface Collection<net.sf.tweety.logics.commons.syntax.RelationalFormula>
    
    Specified by:
    
    contains in interface List<net.sf.tweety.logics.commons.syntax.RelationalFormula>
  - containsAll
```
public boolean containsAll(Collection<?> c)
```
    Specified by:
    
    containsAll in interface Collection<net.sf.tweety.logics.commons.syntax.RelationalFormula>
    
    Specified by:
    
    containsAll in interface List<net.sf.tweety.logics.commons.syntax.RelationalFormula>
  - isEmpty
```
public boolean isEmpty()
```
    Specified by:
    
    isEmpty in interface Collection<net.sf.tweety.logics.commons.syntax.RelationalFormula>
    
    Specified by:
    
    isEmpty in interface List<net.sf.tweety.logics.commons.syntax.RelationalFormula>
  - iterator
```
public Iterator<net.sf.tweety.logics.commons.syntax.RelationalFormula> iterator()
```
    Specified by:
    
    iterator in interface Iterable<net.sf.tweety.logics.commons.syntax.RelationalFormula>
    
    Specified by:
    
    iterator in interface Collection<net.sf.tweety.logics.commons.syntax.RelationalFormula>
    
    Specified by:
    
    iterator in interface List<net.sf.tweety.logics.commons.syntax.RelationalFormula>
  - remove
```
public boolean remove(Object o)
```
    Specified by:
    
    remove in interface Collection<net.sf.tweety.logics.commons.syntax.RelationalFormula>
    
    Specified by:
    
    remove in interface List<net.sf.tweety.logics.commons.syntax.RelationalFormula>
  - removeAll
```
public boolean removeAll(Collection<?> c)
```
    Specified by:
    
    removeAll in interface Collection<net.sf.tweety.logics.commons.syntax.RelationalFormula>
    
    Specified by:
    
    removeAll in interface List<net.sf.tweety.logics.commons.syntax.RelationalFormula>
  - retainAll
```
public boolean retainAll(Collection<?> c)
```
    Specified by:
    
    retainAll in interface Collection<net.sf.tweety.logics.commons.syntax.RelationalFormula>
    
    Specified by:
    
    retainAll in interface List<net.sf.tweety.logics.commons.syntax.RelationalFormula>
  - size
```
public int size()
```
    Specified by:
    
    size in interface Collection<net.sf.tweety.logics.commons.syntax.RelationalFormula>
    
    Specified by:
    
    size in interface List<net.sf.tweety.logics.commons.syntax.RelationalFormula>
  - toArray
```
public Object[] toArray()
```
    Specified by:
    
    toArray in interface Collection<net.sf.tweety.logics.commons.syntax.RelationalFormula>
    
    Specified by:
    
    toArray in interface List<net.sf.tweety.logics.commons.syntax.RelationalFormula>
  - toArray
```
public <T> T[] toArray(T[] a)
```
    Specified by:
    
    toArray in interface Collection<net.sf.tweety.logics.commons.syntax.RelationalFormula>
    
    Specified by:
    
    toArray in interface List<net.sf.tweety.logics.commons.syntax.RelationalFormula>
  - add
```
public void add(int index,
                net.sf.tweety.logics.commons.syntax.RelationalFormula element)
```
    Specified by:
    
    add in interface List<net.sf.tweety.logics.commons.syntax.RelationalFormula>
  - addAll
```
public boolean addAll(int index,
                      Collection<? extends net.sf.tweety.logics.commons.syntax.RelationalFormula> c)
```
    Specified by:
    
    addAll in interface List<net.sf.tweety.logics.commons.syntax.RelationalFormula>
  - get
```
public net.sf.tweety.logics.commons.syntax.RelationalFormula get(int index)
```
    Specified by:
    
    get in interface List<net.sf.tweety.logics.commons.syntax.RelationalFormula>
  - indexOf
```
public int indexOf(Object o)
```
    Specified by:
    
    indexOf in interface List<net.sf.tweety.logics.commons.syntax.RelationalFormula>
  - lastIndexOf
```
public int lastIndexOf(Object o)
```
    Specified by:
    
    lastIndexOf in interface List<net.sf.tweety.logics.commons.syntax.RelationalFormula>
  - listIterator
```
public ListIterator<net.sf.tweety.logics.commons.syntax.RelationalFormula> listIterator()
```
    Specified by:
    
    listIterator in interface List<net.sf.tweety.logics.commons.syntax.RelationalFormula>
  - listIterator
```
public ListIterator<net.sf.tweety.logics.commons.syntax.RelationalFormula> listIterator(int index)
```
    Specified by:
    
    listIterator in interface List<net.sf.tweety.logics.commons.syntax.RelationalFormula>
  - remove
```
public net.sf.tweety.logics.commons.syntax.RelationalFormula remove(int index)
```
    Specified by:
    
    remove in interface List<net.sf.tweety.logics.commons.syntax.RelationalFormula>
  - set
```
public net.sf.tweety.logics.commons.syntax.RelationalFormula set(int index,
                                                                 net.sf.tweety.logics.commons.syntax.RelationalFormula element)
```
    Specified by:
    
    set in interface List<net.sf.tweety.logics.commons.syntax.RelationalFormula>
  - subList
```
public List<net.sf.tweety.logics.commons.syntax.RelationalFormula> subList(int fromIndex,
                                                                           int toIndex)
```
    Specified by:
    
    subList in interface List<net.sf.tweety.logics.commons.syntax.RelationalFormula>

Class AssociativeFOLFormula

Field Summary

Constructor Summary

Method Summary

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

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

Methods inherited from class java.lang.Object

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

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

Methods inherited from interface java.util.List

Methods inherited from interface java.util.Collection

Methods inherited from interface java.lang.Iterable

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

Field Detail

support

Constructor Detail

AssociativeFOLFormula

AssociativeFOLFormula

AssociativeFOLFormula

Method Detail

createEmptySignature

getFunctors

containsQuantifier

getUnboundVariables

isClosed

isClosed

isWellBound

isWellBound

isLiteral

getQuantifierVariables

getFormulas

getFormulas

getAtoms

getTerms

getTerms

getPredicates

substitute

substitute

toString

hashCode

equals

add

addAll

clear

contains

containsAll

isEmpty

iterator

remove

removeAll

retainAll

size

toArray

toArray

add

addAll

get

indexOf

lastIndexOf

listIterator

listIterator

remove

set

subList