net.sf.tweety.logics.commons.syntax

Class FunctionalTerm

java.lang.Object

net.sf.tweety.logics.commons.syntax.TermAdapter<net.sf.tweety.commons.util.Pair<Functor,List<Term<?>>>>

net.sf.tweety.logics.commons.syntax.FunctionalTerm

All Implemented Interfaces:

LogicStructure, Term<net.sf.tweety.commons.util.Pair<Functor,List<Term<?>>>>

public class FunctionalTerm
extends TermAdapter<net.sf.tweety.commons.util.Pair<Functor,List<Term<?>>>>

A functional term in a logic language, i.e. a functor and a list of argument terms.

Author:

Matthias Thimm,, Tim Janus

Field Summary

Fields inherited from class net.sf.tweety.logics.commons.syntax.TermAdapter

value

Constructor Summary

Constructors

Constructor and Description
FunctionalTerm(FunctionalTerm other)
FunctionalTerm(Functor functor) Creates a new functional term with the given functor.
FunctionalTerm(Functor functor, List<Term<?>> arguments) Creates a new functional term with the given functor and the given list of arguments.
FunctionalTerm(Functor functor, Term<?>... terms)

Method Summary

Modifier and Type	Method and Description
FunctionalTerm	addArgument(Term<?> term) Appends the given argument to this term's arguments and returns itself.
FunctionalTerm	clone() Creates a deep copy of the term
List<Term<?>>	getArguments()
Functor	getFunctor()
boolean	isComplete() Checks whether this term is complete, i.e.
String	toString()

Methods inherited from class net.sf.tweety.logics.commons.syntax.TermAdapter

containsTermsOfType, equals, get, getSort, getTerms, getTerms, hashCode, set, substitute

Methods inherited from class java.lang.Object

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

Constructor Detail

FunctionalTerm

public FunctionalTerm(Functor functor,
                      Term<?>... terms)

FunctionalTerm

public FunctionalTerm(Functor functor,
                      List<Term<?>> arguments)

Creates a new functional term with the given functor and the given list of arguments.

Parameters:

functor - the functor of this term

arguments - the list of arguments of this functional term

FunctionalTerm

public FunctionalTerm(FunctionalTerm other)

FunctionalTerm

public FunctionalTerm(Functor functor)

Creates a new functional term with the given functor.

Parameters:

functor -

Method Detail

getFunctor

public Functor getFunctor()

getArguments

public List<Term<?>> getArguments()

isComplete

public boolean isComplete()

Checks whether this term is complete, i.e. whether every argument is set.

Returns:

"true" if the term is complete.

addArgument

public FunctionalTerm addArgument(Term<?> term)
                           throws IllegalArgumentException

Appends the given argument to this term's arguments and returns itself.

Parameters:

term - an argument to be added

Returns:

the term itself.

Throws:

IllegalArgumentException - if the given term does not correspond to the expected sort or the argument list is complete.

toString

public String toString()

Overrides:

toString in class TermAdapter<net.sf.tweety.commons.util.Pair<Functor,List<Term<?>>>>

clone

public FunctionalTerm clone()

Description copied from interface: Term

Creates a deep copy of the term

Specified by:

clone in interface Term<net.sf.tweety.commons.util.Pair<Functor,List<Term<?>>>>

Specified by:

clone in class TermAdapter<net.sf.tweety.commons.util.Pair<Functor,List<Term<?>>>>