net.sf.tweety.logics.commons.syntax

Class Constant

java.lang.Object

net.sf.tweety.logics.commons.syntax.TermAdapter<java.lang.String>

net.sf.tweety.logics.commons.syntax.StringTerm

net.sf.tweety.logics.commons.syntax.Constant

All Implemented Interfaces:

LogicStructure, Term<java.lang.String>

public class Constant
extends StringTerm

A Constant represents an constant object in the world of a logical language. It is implemented as a specialized StringTerm.

Author:

Tim Janus

Field Summary

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

value

Constructor Summary

Constructors

Constructor and Description
Constant(Constant other) Copy-Ctor: Creates a deep copy of the given Constant
Constant(java.lang.String name) Ctor: Creates a new Constant with the given name, uses "Thing" as sort.
Constant(java.lang.String name, Sort sort) Ctor: Creates a new Constant with the given name and sort

Method Summary

Modifier and Type	Method and Description
Constant	clone() Creates a deep copy of the term
void	set(java.lang.String value) Changes the java-object representation of the term to the given value.

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

get, toString

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

containsTermsOfType, equals, getSort, getTerms, getTerms, hashCode, substitute

Methods inherited from class java.lang.Object

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

Constructor Detail

Constant

public Constant(java.lang.String name)

Ctor: Creates a new Constant with the given name, uses "Thing" as sort.

Parameters:

name - The name of the Constant

Constant

public Constant(java.lang.String name,
                Sort sort)

Ctor: Creates a new Constant with the given name and sort

Parameters:

name - The name of the Constant

sort - The sort of the Constant

Constant

public Constant(Constant other)

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

Parameters:

other - The Constant that acts as source for the copy

Method Detail

set

public void set(java.lang.String value)

Description copied from interface: Term

Changes the java-object representation of the term to the given value.

Specified by:

set in interface Term<java.lang.String>

Specified by:

set in class StringTerm

Parameters:

value - The new java-object representation of the term.

clone

public Constant clone()

Description copied from interface: Term

Creates a deep copy of the term

Specified by:

clone in interface Term<java.lang.String>

Specified by:

clone in class TermAdapter<java.lang.String>