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

Class LdoRelation

java.lang.Object

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

org.tweetyproject.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 formula
boolean	equals(Object obj)
Set<LdoArgument>	getAtoms()	Processes the set of all atoms which appear in this formula
LdoFormula	getLeft()
Set<LdoFormula>	getLiterals()	Returns all literals, i.e.
Set<PlPredicate>	getPredicates()	Processes the set of all predicates which appear in this formula
LdoFormula	getRight()
int	hashCode()
String	toString()

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, wait, wait, wait

Constructor Details

LdoRelation

public LdoRelation(LdoFormula left,
 LdoFormula right)

Parameters:

left - left

right - right

Method Details

getLeft

public LdoFormula getLeft()

Returns:

return

getRight

public LdoFormula getRight()

Returns:

return

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

Specified by:

getAtoms in class LdoFormula

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

Specified by:

getPredicates in class LdoFormula

Returns:

all predicates that appear in this formula

getLiterals

public 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 class LdoFormula

Returns:

all literals appearing in this formula.

hashCode

public int hashCode()

Specified by:

hashCode in interface SimpleLogicalFormula

Specified by:

hashCode in class LdoFormula

equals

public boolean equals(Object obj)

Specified by:

equals in interface SimpleLogicalFormula

Specified by:

equals in class LdoFormula

clone

public 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 LdoFormula

Returns:

the cloned formula

toString

public String toString()

Overrides:

toString in class Object