Package net.sf.tweety.arg.aba.syntax

Class Negation<T extends net.sf.tweety.commons.Formula>

java.lang.Object

net.sf.tweety.arg.aba.syntax.AbaElement<T>

net.sf.tweety.arg.aba.syntax.Negation<T>

Type Parameters:

T - the type of formulas

All Implemented Interfaces:

net.sf.tweety.commons.Formula, net.sf.tweety.logics.commons.syntax.interfaces.ComplexLogicalFormula, net.sf.tweety.logics.commons.syntax.interfaces.LogicStructure, net.sf.tweety.logics.commons.syntax.interfaces.SimpleLogicalFormula

public class Negation<T extends net.sf.tweety.commons.Formula>
extends AbaElement<T>

Author:

Nils Geilen (geilenn@uni-koblenz.de) This represents a negation relation of form "not formula = negation"

Constructor Summary

Constructors

Constructor	Description
Negation(T formula, T negation)	Creates a new Negation

Method Summary

Modifier and Type	Method	Description
Negation<T>	clone()
boolean	equals(Object obj)
Set<? extends net.sf.tweety.logics.commons.syntax.Predicate>	getPredicates()
net.sf.tweety.commons.Signature	getSignature()
Set<net.sf.tweety.logics.commons.syntax.interfaces.Term<?>>	getTerms()
<C extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> Set<C>	getTerms(Class<C> cls)
int	hashCode()
Negation<T>	substitute(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t)
String	toString()

Methods inherited from class net.sf.tweety.arg.aba.syntax.AbaElement

allGroundInstances, allSubstitutions, containsTermsOfType, exchange, getAtoms, getPredicateCls, getUnboundVariables, isGround, isLiteral, isWellFormed, substitute

Methods inherited from class java.lang.Object

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

Constructor Detail

Negation

public Negation(T formula,
                T negation)

Creates a new Negation

Parameters:

formula - a formula

negation - it's complement

Method Detail

hashCode

public int hashCode()

Specified by:

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

Overrides:

hashCode in class Object

equals

public boolean equals(Object obj)

Specified by:

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

Overrides:

equals in class Object

getSignature

public net.sf.tweety.commons.Signature getSignature()

toString

public String toString()

Overrides:

toString in class Object

getPredicates

public Set<? extends net.sf.tweety.logics.commons.syntax.Predicate> getPredicates()

getTerms

public Set<net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> getTerms()

getTerms

public <C extends net.sf.tweety.logics.commons.syntax.interfaces.Term<?>> Set<C> getTerms(Class<C> cls)

clone

public Negation<T> clone()

Specified by:

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

Specified by:

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

Specified by:

clone in class AbaElement<T extends net.sf.tweety.commons.Formula>

substitute

public Negation<T> substitute(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v,
                              net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t)
                       throws IllegalArgumentException

Specified by:

substitute in interface net.sf.tweety.logics.commons.syntax.interfaces.ComplexLogicalFormula

Specified by:

substitute in class AbaElement<T extends net.sf.tweety.commons.Formula>

Throws:

IllegalArgumentException