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

Class LdoConjunction

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.LdoConjunction

All Implemented Interfaces:

java.lang.Iterable<LdoFormula>, java.util.Collection<LdoFormula>, java.util.List<LdoFormula>, Formula, AssociativeFormulaSupport.AssociativeSupportBridge, AssociativeFormula<LdoFormula>, ClassicalFormula, Conjuctable, Disjunctable, Invertable, ProbabilityAware, SimpleLogicalFormula

public class LdoConjunction
extends LdoAssociativeFormula

This class represents a conjunction 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
LdoConjunction() Creates a new (empty) conjunction.
LdoConjunction(java.util.Collection<? extends LdoFormula> formulas) Creates a new conjunction with the given inner formulas.
LdoConjunction(LdoFormula first, LdoFormula second) Creates a new conjunction with the two given formulae

Method Summary

Modifier and Type	Method and Description
LdoConjunction	clone() Creates a deep copy of this formula
LdoConjunction	createEmptyFormula()
java.lang.String	getEmptySymbol()
java.lang.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

LdoConjunction

public LdoConjunction(java.util.Collection<? extends LdoFormula> formulas)

Creates a new conjunction with the given inner formulas.

Parameters:

formulas - a collection of formulas.

LdoConjunction

public LdoConjunction()

Creates a new (empty) conjunction.

LdoConjunction

public LdoConjunction(LdoFormula first,
                      LdoFormula second)

Creates a new conjunction with the two given formulae

Parameters:

first - a ldo formula.

second - a ldo formula.

Method Detail

createEmptyFormula

public LdoConjunction createEmptyFormula()

Returns:

an empty version of the AssociativeFormula

getOperatorSymbol

public java.lang.String getOperatorSymbol()

Returns:

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

getEmptySymbol

public java.lang.String getEmptySymbol()

Returns:

A String representing an empty version of the Associative Formula implementation

clone

public LdoConjunction 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