Class Variable

All Implemented Interfaces:
LogicStructure, Term<String>

public class Variable extends StringTerm
A Variable is a placeholder for Constants in a generic formula of a logic language. For example, wife_of(X,Y) represents all wifes X and their specific husbands Y using the two Variables X,Y. It is implemented as a specialized StringTerm which only allows names which have an upper-case character as first letter.
Author:
Tim Janus, Anna Gessler
  • Constructor Details

    • Variable

      public Variable(String name)
      Ctor: Creates a new Variable with the given name and the default Sort "Thing".
      Parameters:
      name - The name of the Variable has to start with an upper-case character.
    • Variable

      public Variable(String name, Sort sort)
      Ctor: Creates a new Variable with the given name and sort.
      Parameters:
      name - The name of the Variable has to start with an upper-case character.
      sort - The Sort (type) of the Variable.
    • Variable

      public Variable(Variable other)
      Copy-Ctor: Creates a deep copy of the given Variable
      Parameters:
      other - The Variable 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 Variable 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