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

Class AbstractGraphLdoModality

java.lang.Object

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

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

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

All Implemented Interfaces:

net.sf.tweety.commons.Formula, 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:

LdoGraphBoxModality, LdoGraphDiamondModality

public abstract class AbstractGraphLdoModality
extends AbstractLdoModality

Provides common functionalities for the graph-based modalities in LDO.

Author:

Matthias Thimm

Constructor Summary

Constructors

Constructor and Description
AbstractGraphLdoModality(LdoFormula innerFormula, Set<LdoArgument> lowerReferenceArguments, Set<LdoArgument> upperReferenceArguments)

Method Summary

Modifier and Type	Method and Description
abstract LdoFormula	clone()
Set<LdoArgument>	getAtoms()
Set<LdoArgument>	getLowerReferenceArguments() Returns the lower reference arguments of this modality.
Set<net.sf.tweety.logics.pl.syntax.PropositionalPredicate>	getPredicates()
Set<LdoArgument>	getUpperReferenceArguments() Returns the upper reference arguments of this modality.

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

equals, getInnerFormula, getLiterals, 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

Constructor Detail

AbstractGraphLdoModality

public AbstractGraphLdoModality(LdoFormula innerFormula,
                                Set<LdoArgument> lowerReferenceArguments,
                                Set<LdoArgument> upperReferenceArguments)

Method Detail

getLowerReferenceArguments

public Set<LdoArgument> getLowerReferenceArguments()

Returns the lower reference arguments of this modality.

Returns:

the lower reference arguments of this modality.

getUpperReferenceArguments

public Set<LdoArgument> getUpperReferenceArguments()

Returns the upper reference arguments of this modality.

Returns:

the upper reference arguments of this modality.

getAtoms

public Set<LdoArgument> getAtoms()

Specified by:

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

Overrides:

getAtoms in class AbstractLdoModality

getPredicates

public Set<net.sf.tweety.logics.pl.syntax.PropositionalPredicate> getPredicates()

Specified by:

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

Overrides:

getPredicates in class AbstractLdoModality

clone

public abstract LdoFormula clone()

Specified by:

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

Specified by:

clone in class AbstractLdoModality