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

Class AbstractLdoModality

java.lang.Object

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

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

All Implemented Interfaces:

Formula, ClassicalFormula, Conjunctable, Disjunctable, Invertable, ProbabilityAware, SimpleLogicalFormula

Direct Known Subclasses:

AbstractGraphLdoModality, LdoBoxModality, LdoDiamondModality

public abstract class AbstractLdoModality
extends LdoFormula

Provides common functionalities for all modalities in LDO.

Author:

Matthias Thimm

Field Summary

Fields

Modifier and Type	Field	Description
private LdoFormula	innerFormula	The inner formula of this modality

Constructor Summary

Constructors

Constructor	Description
AbstractLdoModality(LdoFormula innerFormula)	Creates a new modality for the given inner formula

Method Summary

Modifier and Type	Method	Description
abstract LdoFormula	clone()	Creates a deep copy of this formula
boolean	equals(java.lang.Object obj)
java.util.Set<LdoArgument>	getAtoms()	Processes the set of all atoms which appear in this formula
LdoFormula	getInnerFormula()	Returns the inner formula of this modality.
java.util.Set<LdoFormula>	getLiterals()	Returns all literals, i.e.
java.util.Set<PlPredicate>	getPredicates()	Processes the set of all predicates which appear in this formula
int	hashCode()

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

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

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Field Detail

innerFormula

private LdoFormula innerFormula

The inner formula of this modality

Constructor Detail

AbstractLdoModality

public AbstractLdoModality(LdoFormula innerFormula)

Creates a new modality for the given inner formula

Parameters:

innerFormula - some ldo formula

Method Detail

getAtoms

public java.util.Set<LdoArgument> getAtoms()

Description copied from interface: SimpleLogicalFormula

Processes the set of all atoms which appear in this formula

Specified by:

getAtoms in interface SimpleLogicalFormula

Specified by:

getAtoms in class LdoFormula

Returns:

The set of all atoms

getInnerFormula

public LdoFormula getInnerFormula()

Returns the inner formula of this modality.

Returns:

the inner formula of this modality.

getPredicates

public java.util.Set<PlPredicate> getPredicates()

Description copied from interface: SimpleLogicalFormula

Processes the set of all predicates which appear in this formula

Specified by:

getPredicates in interface SimpleLogicalFormula

Specified by:

getPredicates in class LdoFormula

Returns:

all predicates that appear in this formula

getLiterals

public java.util.Set<LdoFormula> getLiterals()

Description copied from class: LdoFormula

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 LdoFormula

Returns:

all literals appearing in this formula.

hashCode

public int hashCode()

Specified by:

hashCode in interface SimpleLogicalFormula

Specified by:

hashCode in class LdoFormula

equals

public boolean equals(java.lang.Object obj)

Specified by:

equals in interface SimpleLogicalFormula

Specified by:

equals in class LdoFormula

clone

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