Constant

java.lang.Object

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

org.tweetyproject.logics.commons.syntax.StringTerm

org.tweetyproject.logics.commons.syntax.Constant

All Implemented Interfaces:: LogicStructure, Term<String>

Direct Known Subclasses:: Individual

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

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 org.tweetyproject.logics.commons.syntax.StringTerm
get, toString

Methods inherited from class org.tweetyproject.logics.commons.syntax.TermAdapter
containsTermsOfType, equals, getSort, getTerms, getTerms, hashCode, substitute

Methods inherited from class java.lang.Object
getClass, notify, notifyAll, wait, wait, wait

Constructor Details
- 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 Details
- 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