Class AssociativeOperation

java.lang.Object
org.tweetyproject.math.term.Term
org.tweetyproject.math.term.AssociativeOperation
Direct Known Subclasses:
Maximum, Minimum, Product, Sum
public abstract class AssociativeOperation extends Term
AssociativeOperation class

  • Constructor Details

    • AssociativeOperation

      public AssociativeOperation()
      Creates a new (empty) operation.

    • AssociativeOperation

      public AssociativeOperation(Term first, Term second)
      Creates a new operation with the given terms.
      Parameters:
      first - a term.
      second - a term.

    • AssociativeOperation

      public AssociativeOperation(Collection<? extends Term> terms)
      Creates a new operation with the given list of terms.
      Parameters:
      terms - a list of terms.

  • Method Details

    • size

      public int size()
      Returns the number of the terms in this operation.
      Returns:
      the number of the terms in this operation.

    • getTerms

      public List<Term> getTerms()
      Returns the terms of this operation.
      Specified by:
      getTerms in class Term
      Returns:
      the terms of this operation.

    • addTerm

      public void addTerm(Term t)
      Adds the given term to this operation.
      Parameters:
      t - a term.

    • addAllTerm

      public void addAllTerm(Collection<Term> terms)
      Adds all the given terms of this operation.
      Parameters:
      terms - a collection of terms.

    • removeTerm

      public void removeTerm(Term t)
      Removes the given term from this operation.
      Parameters:
      t - a term.

    • isInteger

      public boolean isInteger()
      Description copied from class: Term
      Checks whether this term represents an integer value.
      Specified by:
      isInteger in class Term
      Returns:
      "true" iff this term represents an integer value.

    • getVariables

      public Set<Variable> getVariables()
      Description copied from class: Term
      Returns all variables in this term.
      Specified by:
      getVariables in class Term
      Returns:
      all variables in this term.

    • getProducts

      public Set<Product> getProducts()
      Description copied from class: Term
      Returns all products of this term.
      Specified by:
      getProducts in class Term
      Returns:
      all products of this term.

    • getSums

      public Set<Sum> getSums()
      Description copied from class: Term
      Returns all sums of this term.
      Specified by:
      getSums in class Term
      Returns:
      all sums of this term.

    • getMinimums

      public Set<Minimum> getMinimums()
      Description copied from class: Term
      Returns all minimums of this term.
      Specified by:
      getMinimums in class Term
      Returns:
      all minimums of this term.

    • getMaximums

      public Set<Maximum> getMaximums()
      Description copied from class: Term
      Returns all maximums of this term.
      Specified by:
      getMaximums in class Term
      Returns:
      all maximums of this term.

    • getAbsoluteValues

      public Set<AbsoluteValue> getAbsoluteValues()
      Description copied from class: Term
      Returns all absolute values of this term.
      Specified by:
      getAbsoluteValues in class Term
      Returns:
      all absolute values of this term.

    • collapseAssociativeOperations

      public void collapseAssociativeOperations()
      Description copied from class: Term
      This method collapses all associative operations appearing in this term, e.g. every min{min{a,b},c} becomes min{a,b,c}.
      Specified by:
      collapseAssociativeOperations in class Term