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
-
-
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 formulaboolean
equals(java.lang.Object obj)
java.util.Set<LdoArgument>
getAtoms()
Processes the set of all atoms which appear in this formulaLdoFormula
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 formulaint
hashCode()
-
Methods inherited from class net.sf.tweety.arg.dung.ldo.syntax.LdoFormula
combineWithAnd, combineWithOr, complement, getDividers, getPredicateCls, getSignature, getUniformProbability, isLiteral
-
-
-
-
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 interfaceSimpleLogicalFormula
- Specified by:
getAtoms
in classLdoFormula
- 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 interfaceSimpleLogicalFormula
- Specified by:
getPredicates
in classLdoFormula
- 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 classLdoFormula
- Returns:
- all literals appearing in this formula.
-
hashCode
public int hashCode()
- Specified by:
hashCode
in interfaceSimpleLogicalFormula
- Specified by:
hashCode
in classLdoFormula
-
equals
public boolean equals(java.lang.Object obj)
- Specified by:
equals
in interfaceSimpleLogicalFormula
- Specified by:
equals
in classLdoFormula
-
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 classLdoFormula
- Returns:
- the cloned formula
-
-