Constant (Tweety (Commons Logic) 1.17 API)

java.lang.Object
- net.sf.tweety.logics.commons.syntax.TermAdapter<String>
- - net.sf.tweety.logics.commons.syntax.StringTerm
  - - net.sf.tweety.logics.commons.syntax.Constant

All Implemented Interfaces:

LogicStructure, Term<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	Description
`Constant(String name)`	Ctor: Creates a new Constant with the given name, uses "Thing" as sort.
`Constant(String name, Sort sort)`	Ctor: Creates a new Constant with the given name and sort
`Constant(Constant other)`	Copy-Ctor: Creates a deep copy of the given Constant

Method Summary

Modifier and Type Method Description

Constant clone()
Creates a deep copy of the term

void set(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(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(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(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<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<String>
    
    Specified by:
    
    clone in class TermAdapter<String>
    
    Returns:
    
    the clone