AssociativePropositionalFormula (Tweety (Propositional Logic) 1.10 API)

java.lang.Object
- net.sf.tweety.logics.pl.syntax.PropositionalFormula
- - net.sf.tweety.logics.pl.syntax.AssociativePropositionalFormula

All Implemented Interfaces:

Iterable<PropositionalFormula>, Collection<PropositionalFormula>, List<PropositionalFormula>, net.sf.tweety.commons.Formula, net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport.AssociativeSupportBridge, net.sf.tweety.logics.commons.syntax.interfaces.AssociativeFormula<PropositionalFormula>, net.sf.tweety.logics.commons.syntax.interfaces.ClassicalFormula, 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.ProbabilityAware, net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

Direct Known Subclasses:

Conjunction, Disjunction
```
public abstract class AssociativePropositionalFormula
extends PropositionalFormula
implements net.sf.tweety.logics.commons.syntax.interfaces.AssociativeFormula<PropositionalFormula>, net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport.AssociativeSupportBridge, Collection<PropositionalFormula>
```
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 and Description

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

Fields
Modifier and Type	Field and Description
`protected net.sf.tweety.logics.commons.syntax.AssociativeFormulaSupport<PropositionalFormula>`	`support` The inner formulas of this formula

Constructor Summary

Constructors
Constructor and Description
`AssociativePropositionalFormula()` Creates a new (empty) associative formula.
`AssociativePropositionalFormula(Collection<? extends PropositionalFormula> formulas)` Creates a new associative formula with the given inner formulas.
`AssociativePropositionalFormula(PropositionalFormula first, PropositionalFormula 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, PropositionalFormula element)`
`boolean`	`add(PropositionalFormula f)`
`boolean`	`addAll(Collection<? extends PropositionalFormula> c)`
`boolean`	`addAll(int index, Collection<? extends PropositionalFormula> c)`
`void`	`clear()`
`boolean`	`contains(Object o)`
`boolean`	`containsAll(Collection<?> c)`
`net.sf.tweety.commons.Signature`	`createEmptySignature()`
`boolean`	`equals(Object obj)`
`PropositionalFormula`	`get(int index)`
`Set<Proposition>`	`getAtoms()`
`List<PropositionalFormula>`	`getFormulas()`
`<C extends net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula> Set<C>`	`getFormulas(Class<C> cls)`
`Set<PropositionalFormula>`	`getLiterals()` Returns all literals, i.e.
`Set<PropositionalPredicate>`	`getPredicates()`
`PropositionalSignature`	`getSignature()`
`int`	`hashCode()`
`int`	`indexOf(Object o)`
`boolean`	`isEmpty()`
`Iterator<PropositionalFormula>`	`iterator()`
`int`	`lastIndexOf(Object o)`
`ListIterator<PropositionalFormula>`	`listIterator()`
`ListIterator<PropositionalFormula>`	`listIterator(int index)`
`int`	`numberOfOccurrences(Proposition p)` Returns the number of occurrences of the given proposition within this formula
`PropositionalFormula`	`remove(int index)`
`boolean`	`remove(Object o)`
`boolean`	`removeAll(Collection<?> c)`
`boolean`	`retainAll(Collection<?> c)`
`PropositionalFormula`	`set(int index, PropositionalFormula element)`
`int`	`size()`
`List<PropositionalFormula>`	`subList(int fromIndex, int toIndex)`
`Object[]`	`toArray()`
`Object[]`	`toArray(Object[] a)`
`String`	`toString()`

Methods inherited from class net.sf.tweety.logics.pl.syntax.PropositionalFormula
clone, collapseAssociativeFormulas, combineWithAnd, combineWithOr, complement, getModels, getModels, getPredicateCls, getPrimeImplicants, getUniformProbability, 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.interfaces.SimpleLogicalFormula
clone, getPredicateCls, isLiteral

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<PropositionalFormula> support
```
    The inner formulas of this formula
- Constructor Detail
  - AssociativePropositionalFormula
```
public AssociativePropositionalFormula()
```
    Creates a new (empty) associative formula.
  - AssociativePropositionalFormula
```
public AssociativePropositionalFormula(Collection<? extends PropositionalFormula> formulas)
```
    Creates a new associative formula with the given inner formulas.
    
    Parameters:
    
    formulas - a collection of formulas.
  - AssociativePropositionalFormula
```
public AssociativePropositionalFormula(PropositionalFormula first,
                                       PropositionalFormula 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<PropositionalPredicate> getPredicates()
```
    Specified by:
    
    getPredicates in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula
    
    Specified by:
    
    getPredicates in class PropositionalFormula
  - getFormulas
```
public List<PropositionalFormula> getFormulas()
```
    Specified by:
    
    getFormulas in interface net.sf.tweety.logics.commons.syntax.interfaces.AssociativeFormula<PropositionalFormula>
  - 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<PropositionalFormula>
  - getAtoms
```
public Set<Proposition> getAtoms()
```
    Specified by:
    
    getAtoms in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula
    
    Specified by:
    
    getAtoms in class PropositionalFormula
  - getLiterals
```
public Set<PropositionalFormula> getLiterals()
```
    Description copied from class: PropositionalFormula
    
    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 PropositionalFormula
    
    Returns:
    
    all literals appearing in this formula.
  - toString
```
public String toString()
```
    Overrides:
    
    toString in class Object
  - getSignature
```
public PropositionalSignature getSignature()
```
    Specified by:
    
    getSignature in interface net.sf.tweety.commons.Formula
    
    Overrides:
    
    getSignature in class PropositionalFormula
  - 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: PropositionalFormula
    
    Returns the number of occurrences of the given proposition within this formula
    
    Specified by:
    
    numberOfOccurrences in class PropositionalFormula
    
    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<PropositionalFormula>
    
    Specified by:
    
    hashCode in interface List<PropositionalFormula>
    
    Specified by:
    
    hashCode in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula
    
    Specified by:
    
    hashCode in class PropositionalFormula
  - equals
```
public boolean equals(Object obj)
```
    Specified by:
    
    equals in interface Collection<PropositionalFormula>
    
    Specified by:
    
    equals in interface List<PropositionalFormula>
    
    Specified by:
    
    equals in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula
    
    Specified by:
    
    equals in class PropositionalFormula
  - add
```
public boolean add(PropositionalFormula f)
```
    Specified by:
    
    add in interface Collection<PropositionalFormula>
    
    Specified by:
    
    add in interface List<PropositionalFormula>
  - addAll
```
public boolean addAll(Collection<? extends PropositionalFormula> c)
```
    Specified by:
    
    addAll in interface Collection<PropositionalFormula>
    
    Specified by:
    
    addAll in interface List<PropositionalFormula>
  - clear
```
public void clear()
```
    Specified by:
    
    clear in interface Collection<PropositionalFormula>
    
    Specified by:
    
    clear in interface List<PropositionalFormula>
  - contains
```
public boolean contains(Object o)
```
    Specified by:
    
    contains in interface Collection<PropositionalFormula>
    
    Specified by:
    
    contains in interface List<PropositionalFormula>
  - containsAll
```
public boolean containsAll(Collection<?> c)
```
    Specified by:
    
    containsAll in interface Collection<PropositionalFormula>
    
    Specified by:
    
    containsAll in interface List<PropositionalFormula>
  - isEmpty
```
public boolean isEmpty()
```
    Specified by:
    
    isEmpty in interface Collection<PropositionalFormula>
    
    Specified by:
    
    isEmpty in interface List<PropositionalFormula>
  - iterator
```
public Iterator<PropositionalFormula> iterator()
```
    Specified by:
    
    iterator in interface Iterable<PropositionalFormula>
    
    Specified by:
    
    iterator in interface Collection<PropositionalFormula>
    
    Specified by:
    
    iterator in interface List<PropositionalFormula>
  - remove
```
public boolean remove(Object o)
```
    Specified by:
    
    remove in interface Collection<PropositionalFormula>
    
    Specified by:
    
    remove in interface List<PropositionalFormula>
  - removeAll
```
public boolean removeAll(Collection<?> c)
```
    Specified by:
    
    removeAll in interface Collection<PropositionalFormula>
    
    Specified by:
    
    removeAll in interface List<PropositionalFormula>
  - retainAll
```
public boolean retainAll(Collection<?> c)
```
    Specified by:
    
    retainAll in interface Collection<PropositionalFormula>
    
    Specified by:
    
    retainAll in interface List<PropositionalFormula>
  - size
```
public int size()
```
    Specified by:
    
    size in interface Collection<PropositionalFormula>
    
    Specified by:
    
    size in interface List<PropositionalFormula>
  - toArray
```
public Object[] toArray()
```
    Specified by:
    
    toArray in interface Collection<PropositionalFormula>
    
    Specified by:
    
    toArray in interface List<PropositionalFormula>
  - toArray
```
public Object[] toArray(Object[] a)
```
    Specified by:
    
    toArray in interface Collection<PropositionalFormula>
    
    Specified by:
    
    toArray in interface List<PropositionalFormula>
  - add
```
public void add(int index,
                PropositionalFormula element)
```
    Specified by:
    
    add in interface List<PropositionalFormula>
  - addAll
```
public boolean addAll(int index,
                      Collection<? extends PropositionalFormula> c)
```
    Specified by:
    
    addAll in interface List<PropositionalFormula>
  - get
```
public PropositionalFormula get(int index)
```
    Specified by:
    
    get in interface List<PropositionalFormula>
  - indexOf
```
public int indexOf(Object o)
```
    Specified by:
    
    indexOf in interface List<PropositionalFormula>
  - lastIndexOf
```
public int lastIndexOf(Object o)
```
    Specified by:
    
    lastIndexOf in interface List<PropositionalFormula>
  - listIterator
```
public ListIterator<PropositionalFormula> listIterator()
```
    Specified by:
    
    listIterator in interface List<PropositionalFormula>
  - listIterator
```
public ListIterator<PropositionalFormula> listIterator(int index)
```
    Specified by:
    
    listIterator in interface List<PropositionalFormula>
  - remove
```
public PropositionalFormula remove(int index)
```
    Specified by:
    
    remove in interface List<PropositionalFormula>
  - set
```
public PropositionalFormula set(int index,
                                PropositionalFormula element)
```
    Specified by:
    
    set in interface List<PropositionalFormula>
  - subList
```
public List<PropositionalFormula> subList(int fromIndex,
                                          int toIndex)
```
    Specified by:
    
    subList in interface List<PropositionalFormula>

Class AssociativePropositionalFormula

Field Summary

Constructor Summary

Method Summary

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

Methods inherited from class java.lang.Object

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

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

AssociativePropositionalFormula

AssociativePropositionalFormula

AssociativePropositionalFormula

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