net.sf.tweety.arg.dung.ldo.syntax

Class LdoArgument

java.lang.Object

net.sf.tweety.arg.dung.ldo.syntax.LdoFormula

net.sf.tweety.arg.dung.ldo.syntax.LdoArgument

All Implemented Interfaces:

Comparable<LdoArgument>, net.sf.tweety.commons.Formula, net.sf.tweety.logics.commons.syntax.interfaces.Atom, net.sf.tweety.logics.commons.syntax.interfaces.ClassicalFormula, net.sf.tweety.logics.commons.syntax.interfaces.Conjuctable, net.sf.tweety.logics.commons.syntax.interfaces.Disjunctable, net.sf.tweety.logics.commons.syntax.interfaces.Invertable, net.sf.tweety.logics.commons.syntax.interfaces.ProbabilityAware, net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

public class LdoArgument
extends LdoFormula
implements net.sf.tweety.logics.commons.syntax.interfaces.Atom, Comparable<LdoArgument>

This class represents an argument in ldo.

Author:

Matthias Thimm, Tim Janus

Nested Class Summary

Nested classes/interfaces inherited from interface net.sf.tweety.logics.commons.syntax.interfaces.Atom

net.sf.tweety.logics.commons.syntax.interfaces.Atom.AtomImpl, net.sf.tweety.logics.commons.syntax.interfaces.Atom.RETURN_SET_PREDICATE

Constructor Summary

Constructors

Constructor and Description
LdoArgument() Default-Ctor for dynamic instantiation
LdoArgument(LdoArgument other)
LdoArgument(String name) Creates a new proposition of the given name.

Method Summary

Modifier and Type	Method and Description
void	addArgument(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> arg)
LdoArgument	clone()
int	compareTo(LdoArgument o)
boolean	equals(Object obj)
Argument	getArgument() Returns an argument representation (in Dung-style) of this LdoArgument.
List<? extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>>	getArguments()
Set<LdoArgument>	getAtoms()
Set<LdoFormula>	getLiterals() Returns all literals, i.e.
String	getName()
net.sf.tweety.logics.pl.syntax.PropositionalPredicate	getPredicate()
Set<net.sf.tweety.logics.pl.syntax.PropositionalPredicate>	getPredicates()
DungSignature	getSignature()
int	hashCode()
boolean	isComplete()
boolean	isLiteral()
net.sf.tweety.logics.commons.syntax.interfaces.Atom.RETURN_SET_PREDICATE	setPredicate(net.sf.tweety.logics.commons.syntax.Predicate predicate)
String	toString()

Methods inherited from class net.sf.tweety.arg.dung.ldo.syntax.LdoFormula

combineWithAnd, combineWithOr, complement, getDividers, getPredicateCls, getUniformProbability

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

getPredicateCls

Constructor Detail

LdoArgument

public LdoArgument()

Default-Ctor for dynamic instantiation

LdoArgument

public LdoArgument(String name)

Creates a new proposition of the given name.

Parameters:

name - the name of the proposition.

LdoArgument

public LdoArgument(LdoArgument other)

Method Detail

getArgument

public Argument getArgument()

Returns an argument representation (in Dung-style) of this LdoArgument.

Returns:

an argument representation (in Dung-style) of this LdoArgument.

getName

public String getName()

Specified by:

getName in interface net.sf.tweety.logics.commons.syntax.interfaces.Atom

Returns:

the name of this proposition.

getPredicate

public net.sf.tweety.logics.pl.syntax.PropositionalPredicate getPredicate()

Specified by:

getPredicate in interface net.sf.tweety.logics.commons.syntax.interfaces.Atom

getPredicates

public Set<net.sf.tweety.logics.pl.syntax.PropositionalPredicate> getPredicates()

Specified by:

getPredicates in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

Specified by:

getPredicates in class LdoFormula

toString

public String toString()

Overrides:

toString in class Object

getSignature

public DungSignature getSignature()

Specified by:

getSignature in interface net.sf.tweety.commons.Formula

Overrides:

getSignature in class LdoFormula

hashCode

public int hashCode()

Specified by:

hashCode in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

Specified by:

hashCode in class LdoFormula

equals

public boolean equals(Object obj)

Specified by:

equals in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

Specified by:

equals in class LdoFormula

clone

public LdoArgument clone()

Specified by:

clone in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

Specified by:

clone in class LdoFormula

addArgument

public void addArgument(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> arg)

Specified by:

addArgument in interface net.sf.tweety.logics.commons.syntax.interfaces.Atom

getArguments

public List<? extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> getArguments()

Specified by:

getArguments in interface net.sf.tweety.logics.commons.syntax.interfaces.Atom

isComplete

public boolean isComplete()

Specified by:

isComplete in interface net.sf.tweety.logics.commons.syntax.interfaces.Atom

getAtoms

public Set<LdoArgument> getAtoms()

Specified by:

getAtoms in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

Specified by:

getAtoms in class LdoFormula

isLiteral

public boolean isLiteral()

Specified by:

isLiteral in interface net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

Overrides:

isLiteral in class LdoFormula

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.

setPredicate

public net.sf.tweety.logics.commons.syntax.interfaces.Atom.RETURN_SET_PREDICATE setPredicate(net.sf.tweety.logics.commons.syntax.Predicate predicate)

Specified by:

setPredicate in interface net.sf.tweety.logics.commons.syntax.interfaces.Atom

compareTo

public int compareTo(LdoArgument o)

Specified by:

compareTo in interface Comparable<LdoArgument>