Class LdoRelation
- java.lang.Object
-
- net.sf.tweety.arg.dung.ldo.syntax.LdoFormula
-
- net.sf.tweety.arg.dung.ldo.syntax.LdoRelation
-
- All Implemented Interfaces:
Formula
,ClassicalFormula
,Conjunctable
,Disjunctable
,Invertable
,ProbabilityAware
,SimpleLogicalFormula
public class LdoRelation extends LdoFormula
Creates a relational formula, i.e. "A -> B" that can be used to model attacks in LDO.- Author:
- Matthias Thimm
-
-
Constructor Summary
Constructors Constructor Description LdoRelation(LdoFormula left, LdoFormula right)
-
Method Summary
Modifier and Type Method Description 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
getLeft()
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 formulaLdoFormula
getRight()
int
hashCode()
java.lang.String
toString()
-
Methods inherited from class net.sf.tweety.arg.dung.ldo.syntax.LdoFormula
combineWithAnd, combineWithOr, complement, getDividers, getPredicateCls, getSignature, getUniformProbability, isLiteral
-
-
-
-
Constructor Detail
-
LdoRelation
public LdoRelation(LdoFormula left, LdoFormula right)
-
-
Method Detail
-
getLeft
public LdoFormula getLeft()
-
getRight
public LdoFormula getRight()
-
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
-
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 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
-
toString
public java.lang.String toString()
- Overrides:
toString
in classjava.lang.Object
-
-