Package org.tweetyproject.logics.commons.syntax

Class NumberTerm

java.lang.Object
org.tweetyproject.logics.commons.syntax.TermAdapter<Integer>
org.tweetyproject.logics.commons.syntax.NumberTerm
All Implemented Interfaces:
LogicStructure, Term<Integer>
public class NumberTerm extends TermAdapter<Integer>
This is a term representing an integer number it is used to distinguish between objects like an auto a which is modeled as constant and integral numbers like 42.
Author:
Tim Janus

  • Constructor Details

    • NumberTerm

      public NumberTerm(int number)
      Ctor: Creates a new NumberTerm, the sort "Thing" is used.
      Parameters:
      number - the value of the number term

    • NumberTerm

      public NumberTerm(int number, Sort sort)
      Ctor: Creates a new NumberTerm using the sort and the value given as parameter.
      Parameters:
      number - The value of the number term
      sort - The sort representing the type of the number term

    • NumberTerm

      public NumberTerm(String number)
      Ctor: Creates a new NumberTerm, the sort "Thing" is used.
      Parameters:
      number - The value of the number term as string

    • NumberTerm

      public NumberTerm(String number, Sort sort)
      Ctor: Creates a new NumberTerm using the sort and the value given as parameter.
      Parameters:
      number - The value of the number term as string
      sort - The sort representing the type of the number term

    • NumberTerm

      public NumberTerm(NumberTerm other)
      Copy-Ctor: Creates a deep copy of the given NumberTerm
      Parameters:
      other - The NumberTerm that is the source for the copy.

  • Method Details