Package org.tweetyproject.arg.aba.syntax

Class Negation<T extends Formula>

java.lang.Object

org.tweetyproject.arg.aba.syntax.AbaElement<T>

org.tweetyproject.arg.aba.syntax.Negation<T>

Type Parameters:

T - the type of formulas

All Implemented Interfaces:

Formula, ComplexLogicalFormula, LogicStructure, SimpleLogicalFormula

public class Negation<T extends 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()	Creates a deep copy of this formula
boolean	equals(java.lang.Object obj)
java.util.Set<? extends Predicate>	getPredicates()	Processes the set of all predicates which appear in this formula
Signature	getSignature()	Returns the signature of the language of this formula.
java.util.Set<Term<?>>	getTerms()
<C extends Term<?>> java.util.Set<C>	getTerms(java.lang.Class<C> cls)	Processes the set containing all terms of type C.
int	hashCode()
Negation<T>	substitute(Term<?> v, Term<?> t)	Substitutes all occurrences of term "v" in this formula by term "t" and returns the new formula.
java.lang.String	toString()

Methods inherited from class org.tweetyproject.arg.aba.syntax.AbaElement

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

Methods inherited from class java.lang.Object

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 SimpleLogicalFormula

Overrides:

hashCode in class java.lang.Object

equals

public boolean equals(java.lang.Object obj)

Specified by:

equals in interface SimpleLogicalFormula

Overrides:

equals in class java.lang.Object

getSignature

public Signature getSignature()

Description copied from interface: Formula

Returns the signature of the language of this formula.

Returns:

the signature of the language of this formula.

toString

public java.lang.String toString()

Overrides:

toString in class java.lang.Object

getPredicates

public java.util.Set<? extends Predicate> getPredicates()

Description copied from interface: SimpleLogicalFormula

Processes the set of all predicates which appear in this formula

Returns:

all predicates that appear in this formula

getTerms

public java.util.Set<Term<?>> getTerms()

Returns:

a set containing all terms of this logical structure

getTerms

public <C extends Term<?>> java.util.Set<C> getTerms(java.lang.Class<C> cls)

Description copied from interface: LogicStructure

Processes the set containing all terms of type C. This method uses the equals method of the given Class and therefore does not add terms which are sub classes of type C to the set.

Type Parameters:

C - the type of terms

Parameters:

cls - The Class structure containing type information about the searched term

Returns:

A set containing all terms of type C of this logical structure

clone

public Negation<T> clone()

Description copied from interface: SimpleLogicalFormula

Creates a deep copy of this formula

Specified by:

clone in interface ComplexLogicalFormula

Specified by:

clone in interface SimpleLogicalFormula

Specified by:

clone in class AbaElement<T extends Formula>

Returns:

the cloned formula

substitute

public Negation<T> substitute(Term<?> v,
                              Term<?> t)
                       throws java.lang.IllegalArgumentException

Description copied from interface: ComplexLogicalFormula

Substitutes all occurrences of term "v" in this formula by term "t" and returns the new formula.

Specified by:

substitute in interface ComplexLogicalFormula

Specified by:

substitute in class AbaElement<T extends Formula>

Parameters:

v - the term to be substituted.

t - the term to substitute.

Returns:

a formula where every occurrence of "v" is replaced by "t".

Throws:

java.lang.IllegalArgumentException - if "v" and "t" are of different sorts