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:
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, java.util.Set<LdoArgument> lowerReferenceArguments, java.util.Set<LdoArgument> upperReferenceArguments)
-
Method Summary
Modifier and Type Method Description abstract LdoFormula
clone()
Creates a deep copy of this formulajava.util.Set<LdoArgument>
getAtoms()
Processes the set of all atoms which appear in this formulajava.util.Set<LdoArgument>
getLowerReferenceArguments()
Returns the lower reference arguments of this modality.java.util.Set<PlPredicate>
getPredicates()
Processes the set of all predicates which appear in this formulajava.util.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
-
-
-
-
Constructor Detail
-
AbstractGraphLdoModality
public AbstractGraphLdoModality(LdoFormula innerFormula, java.util.Set<LdoArgument> lowerReferenceArguments, java.util.Set<LdoArgument> upperReferenceArguments)
-
-
Method Detail
-
getLowerReferenceArguments
public java.util.Set<LdoArgument> getLowerReferenceArguments()
Returns the lower reference arguments of this modality.- Returns:
- the lower reference arguments of this modality.
-
getUpperReferenceArguments
public java.util.Set<LdoArgument> getUpperReferenceArguments()
Returns the upper reference arguments of this modality.- Returns:
- the upper reference arguments of this modality.
-
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 interfaceSimpleLogicalFormula
- Overrides:
getAtoms
in classAbstractLdoModality
- Returns:
- The set of all atoms
-
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 interfaceSimpleLogicalFormula
- Overrides:
getPredicates
in classAbstractLdoModality
- 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 interfaceSimpleLogicalFormula
- Specified by:
clone
in classAbstractLdoModality
- Returns:
- the cloned formula
-
-