Package org.tweetyproject.arg.dung.ldo.syntax

Class LdoDisjunction

java.lang.Object

org.tweetyproject.arg.dung.ldo.syntax.LdoFormula

org.tweetyproject.arg.dung.ldo.syntax.LdoAssociativeFormula

org.tweetyproject.arg.dung.ldo.syntax.LdoDisjunction

All Implemented Interfaces:

Iterable<LdoFormula>, Collection<LdoFormula>, List<LdoFormula>, SequencedCollection<LdoFormula>, Formula, AssociativeFormulaSupport.AssociativeSupportBridge, AssociativeFormula<LdoFormula>, ClassicalFormula, Conjunctable, Disjunctable, Invertable, ProbabilityAware, SimpleLogicalFormula

public class LdoDisjunction
extends LdoAssociativeFormula

This class represents a disjunction in ldo logic.

Author:

Matthias Thimm, Tim Janus

Constructor Summary

Constructors

Constructor	Description
LdoDisjunction()	Creates a new (empty) disjunction.
LdoDisjunction(Collection<? extends LdoFormula> formulas)	Creates a new disjunction with the given inner formulas.
LdoDisjunction(LdoFormula first, LdoFormula second)	Creates a new disjunction with the two given formulae

Method Summary

Modifier and Type	Method	Description
LdoFormula	clone()	Creates a deep copy of this formula
LdoDisjunction	createEmptyFormula()
String	getEmptySymbol()
String	getOperatorSymbol()

Methods inherited from class org.tweetyproject.arg.dung.ldo.syntax.LdoAssociativeFormula

add, add, add, addAll, addAll, clear, contains, containsAll, createEmptySignature, equals, get, getAtoms, getFormulas, getFormulas, getLiterals, getPredicates, getSignature, hashCode, indexOf, isEmpty, iterator, lastIndexOf, listIterator, listIterator, remove, remove, removeAll, retainAll, set, size, subList, toArray, toArray, toString

Methods inherited from class org.tweetyproject.arg.dung.ldo.syntax.LdoFormula

combineWithAnd, combineWithOr, complement, getDividers, getPredicateCls, getUniformProbability, isLiteral

Methods inherited from class java.lang.Object

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

addFirst, addLast, getFirst, getLast, removeFirst, removeLast, replaceAll, reversed, sort, spliterator

Methods inherited from interface org.tweetyproject.logics.commons.syntax.interfaces.SimpleLogicalFormula

getPredicateCls, isLiteral

Constructor Details

LdoDisjunction

public LdoDisjunction(Collection<? extends LdoFormula> formulas)

Creates a new disjunction with the given inner formulas.

Parameters:

formulas - a collection of formulas.

LdoDisjunction

public LdoDisjunction()

Creates a new (empty) disjunction.

LdoDisjunction

public LdoDisjunction(LdoFormula first,
 LdoFormula second)

Creates a new disjunction with the two given formulae

Parameters:

first - a propositional formula.

second - a propositional formula.

Method Details

clone

public LdoFormula clone()

Description copied from interface: SimpleLogicalFormula

Creates a deep copy of this formula

Specified by:

clone in interface SimpleLogicalFormula

Specified by:

clone in class LdoFormula

Returns:

the cloned formula

createEmptyFormula

public LdoDisjunction createEmptyFormula()

Returns:

an empty version of the AssociativeFormula

getOperatorSymbol

public String getOperatorSymbol()

Returns:

A String representing the operator which connects two items of the associative formula.

getEmptySymbol

public String getEmptySymbol()

Returns:

A String representing an empty version of the Associative Formula implementation