Package org.tweetyproject.logics.commons.syntax

Class NumberTerm

java.lang.Object

org.tweetyproject.logics.commons.syntax.TermAdapter<Integer>

org.tweetyproject.logics.commons.syntax.NumberTerm

All Implemented Interfaces:

LogicStructure, Term<Integer>

public class NumberTerm
extends TermAdapter<Integer>

This is a term representing an integer number it is used to distinguish between objects like an auto a which is modeled as constant and integral numbers like 42.

Author:

Tim Janus

Constructor Summary

Constructors

Constructor	Description
NumberTerm(int number)	Ctor: Creates a new NumberTerm, the sort "Thing" is used.
NumberTerm(int number, Sort sort)	Ctor: Creates a new NumberTerm using the sort and the value given as parameter.
NumberTerm(String number)	Ctor: Creates a new NumberTerm, the sort "Thing" is used.
NumberTerm(String number, Sort sort)	Ctor: Creates a new NumberTerm using the sort and the value given as parameter.
NumberTerm(NumberTerm other)	Copy-Ctor: Creates a deep copy of the given NumberTerm

Method Summary

Modifier and Type	Method	Description
NumberTerm	clone()	Creates a deep copy of the term

Methods inherited from class org.tweetyproject.logics.commons.syntax.TermAdapter

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

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Constructor Details

NumberTerm

public NumberTerm(int number)

Ctor: Creates a new NumberTerm, the sort "Thing" is used.

Parameters:

number - the value of the number term

NumberTerm

public NumberTerm(int number,
 Sort sort)

Ctor: Creates a new NumberTerm using the sort and the value given as parameter.

Parameters:

number - The value of the number term

sort - The sort representing the type of the number term

NumberTerm

public NumberTerm(String number)

Ctor: Creates a new NumberTerm, the sort "Thing" is used.

Parameters:

number - The value of the number term as string

NumberTerm

public NumberTerm(String number,
 Sort sort)

Ctor: Creates a new NumberTerm using the sort and the value given as parameter.

Parameters:

number - The value of the number term as string

sort - The sort representing the type of the number term

NumberTerm

public NumberTerm(NumberTerm other)

Copy-Ctor: Creates a deep copy of the given NumberTerm

Parameters:

other - The NumberTerm that is the source for the copy.

Method Details

clone

public NumberTerm clone()

Description copied from interface: Term

Creates a deep copy of the term

Specified by:

clone in interface Term<Integer>

Specified by:

clone in class TermAdapter<Integer>

Returns:

the clone