Class LdoGraphBoxModality
- 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
-
- net.sf.tweety.arg.dung.ldo.syntax.LdoGraphBoxModality
-
- All Implemented Interfaces:
Formula
,ClassicalFormula
,Conjunctable
,Disjunctable
,Invertable
,ProbabilityAware
,SimpleLogicalFormula
public class LdoGraphBoxModality extends AbstractGraphLdoModality
-
-
Constructor Summary
Constructors Constructor Description LdoGraphBoxModality(LdoFormula innerFormula, java.util.Set<LdoArgument> lowerReferenceArguments, java.util.Set<LdoArgument> upperReferenceArguments)
-
Method Summary
Modifier and Type Method Description LdoFormula
clone()
Creates a deep copy of this formulajava.lang.String
toString()
-
Methods inherited from class net.sf.tweety.arg.dung.ldo.syntax.AbstractGraphLdoModality
getAtoms, getLowerReferenceArguments, getPredicates, getUpperReferenceArguments
-
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
-
LdoGraphBoxModality
public LdoGraphBoxModality(LdoFormula innerFormula, java.util.Set<LdoArgument> lowerReferenceArguments, java.util.Set<LdoArgument> upperReferenceArguments)
-
-
Method Detail
-
clone
public LdoFormula clone()
Description copied from interface:SimpleLogicalFormula
Creates a deep copy of this formula- Specified by:
clone
in interfaceSimpleLogicalFormula
- Specified by:
clone
in classAbstractGraphLdoModality
- Returns:
- the cloned formula
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
-