java.lang.Object
- net.sf.tweety.logics.pl.syntax.PlFormula
- - net.sf.tweety.logics.pl.syntax.AssociativePlFormula

All Implemented Interfaces:

Iterable<PlFormula>, Collection<PlFormula>, List<PlFormula>, net.sf.tweety.commons.Formula, net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport.AssociativeSupportBridge, net.sf.tweety.logics.commons.syntax.interfaces.AssociativeFormula<PlFormula>, net.sf.tweety.logics.commons.syntax.interfaces.ClassicalFormula, net.sf.tweety.logics.commons.syntax.interfaces.Conjunctable, net.sf.tweety.logics.commons.syntax.interfaces.Disjunctable, net.sf.tweety.logics.commons.syntax.interfaces.Invertable, net.sf.tweety.logics.commons.syntax.interfaces.ProbabilityAware, net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

Direct Known Subclasses:

Conjunction, Disjunction
```
public abstract class AssociativePlFormula
extends PlFormula
implements net.sf.tweety.logics.commons.syntax.interfaces.AssociativeFormula<PlFormula>, net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport.AssociativeSupportBridge, Collection<PlFormula>
```
This class captures the common functionalities of formulas with an associative operation like conjunction, disjunction, etc.

Author:

Matthias Thimm, Tim Janus

Field Summary

Fields
Modifier and Type Field Description

protected net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport<PlFormula> support
The inner formulas of this formula

Constructor Summary

Constructors
Constructor	Description
`AssociativePlFormula()`	Creates a new (empty) associative formula.
`AssociativePlFormula(Collection<? extends PlFormula> formulas)`	Creates a new associative formula with the given inner formulas.
`AssociativePlFormula(PlFormula first, PlFormula second)`	Creates a new associative formula with the two given formulae

Method Summary

Modifier and Type	Method	Description
`void`	`add(int index, PlFormula element)`
`boolean`	`add(PlFormula f)`
`boolean`	`addAll(int index, Collection<? extends PlFormula> c)`
`boolean`	`addAll(Collection<? extends PlFormula> c)`
`void`	`clear()`
`boolean`	`contains(Object o)`
`boolean`	`containsAll(Collection<?> c)`
`net.sf.tweety.commons.Signature`	`createEmptySignature()`
`boolean`	`equals(Object obj)`
`PlFormula`	`get(int index)`
`Set<Proposition>`	`getAtoms()`
`List<PlFormula>`	`getFormulas()`
`<C extends net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula> Set<C>`	`getFormulas(Class<C> cls)`
`Set<PlFormula>`	`getLiterals()`	Returns all literals, i.e.
`Set<PlPredicate>`	`getPredicates()`
`PlSignature`	`getSignature()`
`int`	`hashCode()`
`int`	`indexOf(Object o)`
`boolean`	`isEmpty()`
`Iterator<PlFormula>`	`iterator()`
`int`	`lastIndexOf(Object o)`
`ListIterator<PlFormula>`	`listIterator()`
`ListIterator<PlFormula>`	`listIterator(int index)`
`int`	`numberOfOccurrences(Proposition p)`	Returns the number of occurrences of the given proposition within this formula
`PlFormula`	`remove(int index)`
`boolean`	`remove(Object o)`
`boolean`	`removeAll(Collection<?> c)`
`boolean`	`retainAll(Collection<?> c)`
`PlFormula`	`set(int index, PlFormula element)`
`int`	`size()`
`List<PlFormula>`	`subList(int fromIndex, int toIndex)`
`Object[]`	`toArray()`
`Object[]`	`toArray(Object[] a)`
`String`	`toString()`

Methods inherited from class net.sf.tweety.logics.pl.syntax.PlFormula
clone, collapseAssociativeFormulas, combineWithAnd, combineWithOr, complement, getModels, getModels, getPredicateCls, getPrimeImplicants, getUniformProbability, isClause, isConjunctiveClause, isLiteral, replace, resolvableWith, resolveWith, toBlakeCanonicalForm, toCnf, toDnf, toNnf, trim

Methods inherited from class java.lang.Object
finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport.AssociativeSupportBridge
createEmptyFormula, getEmptySymbol, getOperatorSymbol

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
clone, getPredicateCls, isLiteral

- Field Detail
  - support
```
protected net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport<PlFormula> support
```
    The inner formulas of this formula
- Constructor Detail
  - AssociativePlFormula
```
public AssociativePlFormula()
```
    Creates a new (empty) associative formula.
  - AssociativePlFormula
```
public AssociativePlFormula(Collection<? extends PlFormula> formulas)
```
    Creates a new associative formula with the given inner formulas.
    
    Parameters:
    
    formulas - a collection of formulas.
  - AssociativePlFormula
```
public AssociativePlFormula(PlFormula first,
                            PlFormula second)
```
    Creates a new associative formula with the two given formulae
    
    Parameters:
    
    first - a propositional formula.
    
    second - a propositional formula.
- Method Detail
  - getPredicates
```
public Set<PlPredicate> getPredicates()
```
    Specified by:
    
    getPredicates in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula
    
    Specified by:
    
    getPredicates in class PlFormula
  - getFormulas
```
public List<PlFormula> getFormulas()
```
    Specified by:
    
    getFormulas in interface net.sf.tweety.logics.commons.syntax.interfaces.AssociativeFormula<PlFormula>
  - 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<PlFormula>
  - getAtoms
```
public Set<Proposition> getAtoms()
```
    Specified by:
    
    getAtoms in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula
    
    Specified by:
    
    getAtoms in class PlFormula
  - getLiterals
```
public Set<PlFormula> getLiterals()
```
    Description copied from class: PlFormula
    
    Returns all literals, i.e. all formulas of the form "a" or "!a" where "a" is a proposition, that appear in this formula.
    
    Specified by:
    
    getLiterals in class PlFormula
    
    Returns:
    
    all literals appearing in this formula.
  - toString
```
public String toString()
```
    Overrides:
    
    toString in class Object
  - getSignature
```
public PlSignature getSignature()
```
    Specified by:
    
    getSignature in interface net.sf.tweety.commons.Formula
    
    Overrides:
    
    getSignature in class PlFormula
  - createEmptySignature
```
public net.sf.tweety.commons.Signature createEmptySignature()
```
    Specified by:
    
    createEmptySignature in interface net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport.AssociativeSupportBridge
  - numberOfOccurrences
```
public int numberOfOccurrences(Proposition p)
```
    Description copied from class: PlFormula
    
    Returns the number of occurrences of the given proposition within this formula
    
    Specified by:
    
    numberOfOccurrences in class PlFormula
    
    Parameters:
    
    p - some proposition
    
    Returns:
    
    the number of occurrences of the given proposition within this formula
  - hashCode
```
public int hashCode()
```
    Specified by:
    
    hashCode in interface Collection<PlFormula>
    
    Specified by:
    
    hashCode in interface List<PlFormula>
    
    Specified by:
    
    hashCode in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula
    
    Specified by:
    
    hashCode in class PlFormula
  - equals
```
public boolean equals(Object obj)
```
    Specified by:
    
    equals in interface Collection<PlFormula>
    
    Specified by:
    
    equals in interface List<PlFormula>
    
    Specified by:
    
    equals in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula
    
    Specified by:
    
    equals in class PlFormula
  - add
```
public boolean add(PlFormula f)
```
    Specified by:
    
    add in interface Collection<PlFormula>
    
    Specified by:
    
    add in interface List<PlFormula>
  - addAll
```
public boolean addAll(Collection<? extends PlFormula> c)
```
    Specified by:
    
    addAll in interface Collection<PlFormula>
    
    Specified by:
    
    addAll in interface List<PlFormula>
  - clear
```
public void clear()
```
    Specified by:
    
    clear in interface Collection<PlFormula>
    
    Specified by:
    
    clear in interface List<PlFormula>
  - contains
```
public boolean contains(Object o)
```
    Specified by:
    
    contains in interface Collection<PlFormula>
    
    Specified by:
    
    contains in interface List<PlFormula>
  - containsAll
```
public boolean containsAll(Collection<?> c)
```
    Specified by:
    
    containsAll in interface Collection<PlFormula>
    
    Specified by:
    
    containsAll in interface List<PlFormula>
  - isEmpty
```
public boolean isEmpty()
```
    Specified by:
    
    isEmpty in interface Collection<PlFormula>
    
    Specified by:
    
    isEmpty in interface List<PlFormula>
  - iterator
```
public Iterator<PlFormula> iterator()
```
    Specified by:
    
    iterator in interface Collection<PlFormula>
    
    Specified by:
    
    iterator in interface Iterable<PlFormula>
    
    Specified by:
    
    iterator in interface List<PlFormula>
  - remove
```
public boolean remove(Object o)
```
    Specified by:
    
    remove in interface Collection<PlFormula>
    
    Specified by:
    
    remove in interface List<PlFormula>
  - removeAll
```
public boolean removeAll(Collection<?> c)
```
    Specified by:
    
    removeAll in interface Collection<PlFormula>
    
    Specified by:
    
    removeAll in interface List<PlFormula>
  - retainAll
```
public boolean retainAll(Collection<?> c)
```
    Specified by:
    
    retainAll in interface Collection<PlFormula>
    
    Specified by:
    
    retainAll in interface List<PlFormula>
  - size
```
public int size()
```
    Specified by:
    
    size in interface Collection<PlFormula>
    
    Specified by:
    
    size in interface List<PlFormula>
  - toArray
```
public Object[] toArray()
```
    Specified by:
    
    toArray in interface Collection<PlFormula>
    
    Specified by:
    
    toArray in interface List<PlFormula>
  - toArray
```
public Object[] toArray(Object[] a)
```
    Specified by:
    
    toArray in interface Collection<PlFormula>
    
    Specified by:
    
    toArray in interface List<PlFormula>
  - add
```
public void add(int index,
                PlFormula element)
```
    Specified by:
    
    add in interface List<PlFormula>
  - addAll
```
public boolean addAll(int index,
                      Collection<? extends PlFormula> c)
```
    Specified by:
    
    addAll in interface List<PlFormula>
  - get
```
public PlFormula get(int index)
```
    Specified by:
    
    get in interface List<PlFormula>
  - indexOf
```
public int indexOf(Object o)
```
    Specified by:
    
    indexOf in interface List<PlFormula>
  - lastIndexOf
```
public int lastIndexOf(Object o)
```
    Specified by:
    
    lastIndexOf in interface List<PlFormula>
  - listIterator
```
public ListIterator<PlFormula> listIterator()
```
    Specified by:
    
    listIterator in interface List<PlFormula>
  - listIterator
```
public ListIterator<PlFormula> listIterator(int index)
```
    Specified by:
    
    listIterator in interface List<PlFormula>
  - remove
```
public PlFormula remove(int index)
```
    Specified by:
    
    remove in interface List<PlFormula>
  - set
```
public PlFormula set(int index,
                     PlFormula element)
```
    Specified by:
    
    set in interface List<PlFormula>
  - subList
```
public List<PlFormula> subList(int fromIndex,
                               int toIndex)
```
    Specified by:
    
    subList in interface List<PlFormula>

Class AssociativePlFormula

Field Summary

Constructor Summary

Method Summary

Methods inherited from class net.sf.tweety.logics.pl.syntax.PlFormula

Methods inherited from class java.lang.Object

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

Methods inherited from interface java.util.Collection

Methods inherited from interface java.lang.Iterable

Methods inherited from interface java.util.List

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

Field Detail

support

Constructor Detail

AssociativePlFormula

AssociativePlFormula

AssociativePlFormula

Method Detail

getPredicates

getFormulas

getFormulas

getAtoms

getLiterals

toString

getSignature

createEmptySignature

numberOfOccurrences

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