net.sf.tweety.arg.dung.ldo.syntax

Class LdoDisjunction

java.lang.Object

net.sf.tweety.arg.dung.ldo.syntax.LdoFormula

net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula

net.sf.tweety.arg.dung.ldo.syntax.LdoDisjunction

All Implemented Interfaces:

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

public class LdoDisjunction
extends LdoAssociativeFormula

This class represents a disjunction in ldo logic.

Author:

Matthias Thimm, Tim Janus

Field Summary

Fields inherited from class net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula

support

Constructor Summary

Constructors

Constructor and 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 and Description
LdoFormula	clone()
LdoDisjunction	createEmptyFormula()
String	getEmptySymbol()
String	getOperatorSymbol()

Methods inherited from class net.sf.tweety.arg.dung.ldo.syntax.LdoAssociativeFormula

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 net.sf.tweety.arg.dung.ldo.syntax.LdoFormula

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

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

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

Constructor Detail

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 Detail

clone

public LdoFormula clone()

Specified by:

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

Specified by:

clone in class LdoFormula

createEmptyFormula

public LdoDisjunction createEmptyFormula()

getOperatorSymbol

public String getOperatorSymbol()

getEmptySymbol

public String getEmptySymbol()