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

Class LdoNegation

java.lang.Object

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

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

All Implemented Interfaces:

Formula, ClassicalFormula, Conjuctable, Disjunctable, Invertable, ProbabilityAware, SimpleLogicalFormula

public class LdoNegation
extends LdoFormula

This class models classical negation of ldo logic.

Author:

Matthias Thimm, Tim Janus

Field Summary

Fields

Modifier and Type	Field and Description
private LdoFormula	formula The formula within this negation.

Constructor Summary

Constructors

Constructor and Description
LdoNegation(LdoFormula formula) Creates a new negation with the given formula.

Method Summary

Modifier and Type	Method and Description
LdoFormula	clone() Creates a deep copy of this formula
boolean	equals(java.lang.Object obj)
java.util.Set<LdoArgument>	getAtoms() Processes the set of all atoms which appear in this formula
LdoFormula	getFormula() Returns the formula within this negation.
java.util.Set<LdoFormula>	getLiterals() Returns all literals, i.e.
java.util.Set<PropositionalPredicate>	getPredicates() Processes the set of all predicates which appear in this formula
DungSignature	getSignature() Returns the signature of the language of this formula.
int	hashCode()
boolean	isLiteral()
java.lang.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

Field Detail

formula

private LdoFormula formula

The formula within this negation.

Constructor Detail

LdoNegation

public LdoNegation(LdoFormula formula)

Creates a new negation with the given formula.

Parameters:

formula - the formula within the negation.

Method Detail

getFormula

public LdoFormula getFormula()

Returns the formula within this negation.

Returns:

the formula within this negation.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

hashCode

public int hashCode()

Specified by:

hashCode in interface SimpleLogicalFormula

Specified by:

hashCode in class LdoFormula

equals

public boolean equals(java.lang.Object obj)

Specified by:

equals in interface SimpleLogicalFormula

Specified by:

equals in class LdoFormula

getPredicates

public java.util.Set<PropositionalPredicate> 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

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

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 interface SimpleLogicalFormula

Specified by:

getAtoms in class LdoFormula

Returns:

The set of all atoms

isLiteral

public boolean isLiteral()

Specified by:

isLiteral in interface SimpleLogicalFormula

Overrides:

isLiteral in class LdoFormula

Returns:

true if the formula represents a literal in the language or false otherwise

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

Returns:

all literals appearing in this formula.

getSignature

public DungSignature getSignature()

Description copied from interface: Formula

Returns the signature of the language of this formula.

Specified by:

getSignature in interface Formula

Overrides:

getSignature in class LdoFormula

Returns:

the signature of the language of this formula.