StringTerm

java.lang.Object

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

org.tweetyproject.logics.commons.syntax.StringTerm

All Implemented Interfaces:: LogicStructure, Term<String>

Direct Known Subclasses:: Constant, Variable

public abstract class StringTerm extends TermAdapter<String>

This class represents terms which are objects identified by a string. Subclasses are Variable and Constant.

Author:: Tim Janus, Thomas Vengels

Constructor Summary

Constructors

Constructor

Description

StringTerm(String value)

Ctor: Creates a string term with the given String as value, uses the Sort "Thing"

StringTerm(String value, Sort sort)

Ctor: Create a string term with the given value and sort.

StringTerm(StringTerm other)

Copy-Ctor: Creates a deep copy of the StringTerm
Method Summary

Modifier and Type

Method

Description

String

get()

abstract void

set(String value)

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

String

toString()

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

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

Constructor Details
- StringTerm
  
  public StringTerm(String value)
  
  Ctor: Creates a string term with the given String as value, uses the Sort "Thing"
  
  Parameters:
  
  value - The value for the string term.
- StringTerm
  
  public StringTerm(String value, Sort sort)
  
  Ctor: Create a string term with the given value and sort.
  
  Parameters:
  
  value - The value of for the string term.
  
  sort - The sort representing the type of the StringTerm.
- StringTerm
  
  public StringTerm(StringTerm other)
  
  Copy-Ctor: Creates a deep copy of the StringTerm
  
  Parameters:
  
  other - The StringTerm that acts as source for the copy
Method Details
- set
  
  public abstract 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>
  
  Overrides:
  
  set in class TermAdapter<String>
  
  Parameters:
  
  value - The new java-object representation of the term.
- get
  
  public String get()
  
  Specified by:
  
  get in interface Term<String>
  
  Overrides:
  
  get in class TermAdapter<String>
  
  Returns:
  
  the java-object representation of the term.
- toString
  
  public String toString()
  
  Overrides:
  
  toString in class TermAdapter<String>