Class AssociativeOperation

    • Constructor Detail

      • 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​(java.util.Collection<? extends Term> terms)
        Creates a new operation with the given list of terms.
        Parameters:
        terms - a list of terms.
    • Method Detail

      • size

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

        public java.util.List<Term> getTerms()
        Returns the terms of this operation.
        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​(java.util.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 java.util.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 java.util.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.
      • getMinimums

        public java.util.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 java.util.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 java.util.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