Class 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 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>