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

Class AbstractGraphLdoModality

java.lang.Object

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

org.tweetyproject.arg.dung.ldo.syntax.AbstractLdoModality

org.tweetyproject.arg.dung.ldo.syntax.AbstractGraphLdoModality

All Implemented Interfaces:

Formula, ClassicalFormula, Conjunctable, Disjunctable, Invertable, ProbabilityAware, 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	Description
AbstractGraphLdoModality(LdoFormula innerFormula, Set<LdoArgument> lowerReferenceArguments, Set<LdoArgument> upperReferenceArguments)	Constructs an instance of this modality with specified inner formula and sets of reference arguments.

Method Summary

Modifier and Type	Method	Description
abstract LdoFormula	clone()	Creates a deep copy of this formula
Set<LdoArgument>	getAtoms()	Processes the set of all atoms which appear in this formula
Set<LdoArgument>	getLowerReferenceArguments()	Returns the lower reference arguments of this modality.
Set<PlPredicate>	getPredicates()	Processes the set of all predicates which appear in this formula
Set<LdoArgument>	getUpperReferenceArguments()	Returns the upper reference arguments of this modality.

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

equals, getInnerFormula, getLiterals, hashCode

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

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

Methods inherited from class java.lang.Object

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

Constructor Details

AbstractGraphLdoModality

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

Constructs an instance of this modality with specified inner formula and sets of reference arguments.

Parameters:

innerFormula - The formula within the modality.

lowerReferenceArguments - Set of arguments that represent the lower reference context.

upperReferenceArguments - Set of arguments that represent the upper reference context.

Method Details

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()

Description copied from interface: SimpleLogicalFormula

Processes the set of all atoms which appear in this formula

Specified by:

getAtoms in interface SimpleLogicalFormula

Overrides:

getAtoms in class AbstractLdoModality

Returns:

The set of all atoms

getPredicates

public 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

Overrides:

getPredicates in class AbstractLdoModality

Returns:

all predicates that appear in this formula

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 AbstractLdoModality

Returns:

the cloned formula