Class SetTermImpl

java.lang.Object
jason.asSyntax.DefaultTerm
jason.asSyntax.SetTermImpl
All Implemented Interfaces:
SetTerm, Term, ToDOM, ToJson, java.io.Serializable, java.lang.Cloneable, java.lang.Comparable<Term>, java.lang.Iterable<Term>, java.util.Collection<Term>

public class SetTermImpl
extends DefaultTerm
implements SetTerm
Represents a Jason set as a TreeSet in java
Author:
Jomi
See Also:
Serialized Form
  • Field Details

    • serialVersionUID

      private static final long serialVersionUID
      See Also:
      Constant Field Values
    • set

      private java.util.Set<Term> set
  • Constructor Details

    • SetTermImpl

      public SetTermImpl()
  • Method Details

    • clone

      public SetTerm clone()
      Specified by:
      clone in interface Term
      Specified by:
      clone in class DefaultTerm
    • deepClone

      public SetTerm deepClone()
      Specified by:
      deepClone in interface SetTerm
    • capply

      public SetTerm capply​(Unifier u)
      Description copied from interface: Term
      clone and applies together (and faster than clone and then apply)
      Specified by:
      capply in interface Term
      Overrides:
      capply in class DefaultTerm
    • equals

      public boolean equals​(java.lang.Object t)
      Specified by:
      equals in interface java.util.Collection<Term>
      Specified by:
      equals in interface Term
      Overrides:
      equals in class java.lang.Object
    • calcHashCode

      public int calcHashCode()
      Specified by:
      calcHashCode in class DefaultTerm
    • compareTo

      public int compareTo​(Term o)
      Specified by:
      compareTo in interface java.lang.Comparable<Term>
      Overrides:
      compareTo in class DefaultTerm
    • size

      public int size()
      Specified by:
      size in interface java.util.Collection<Term>
    • isSet

      public boolean isSet()
      Specified by:
      isSet in interface Term
      Overrides:
      isSet in class DefaultTerm
    • getAsListTerm

      public ListTerm getAsListTerm()
      Specified by:
      getAsListTerm in interface SetTerm
    • iterator

      public java.util.Iterator<Term> iterator()
      Specified by:
      iterator in interface java.util.Collection<Term>
      Specified by:
      iterator in interface java.lang.Iterable<Term>
    • add

      public boolean add​(Term t)
      Specified by:
      add in interface java.util.Collection<Term>
    • union

      public void union​(java.lang.Iterable<Term> lt)
      Specified by:
      union in interface SetTerm
    • intersection

      public void intersection​(java.util.Collection<Term> lt)
      Specified by:
      intersection in interface SetTerm
    • difference

      public void difference​(java.util.Collection<Term> lt)
      Specified by:
      difference in interface SetTerm
    • toString

      public java.lang.String toString()
      Overrides:
      toString in class java.lang.Object
    • getAsDOM

      public org.w3c.dom.Element getAsDOM​(org.w3c.dom.Document document)
      Specified by:
      getAsDOM in interface ToDOM
    • getAsJson

      public javax.json.JsonValue getAsJson()
      Specified by:
      getAsJson in interface ToJson
    • isEmpty

      public boolean isEmpty()
      Specified by:
      isEmpty in interface java.util.Collection<Term>
    • contains

      public boolean contains​(java.lang.Object o)
      Specified by:
      contains in interface java.util.Collection<Term>
    • toArray

      public java.lang.Object[] toArray()
      Specified by:
      toArray in interface java.util.Collection<Term>
    • toArray

      public <T> T[] toArray​(T[] a)
      Specified by:
      toArray in interface java.util.Collection<Term>
    • remove

      public boolean remove​(java.lang.Object o)
      Specified by:
      remove in interface java.util.Collection<Term>
    • containsAll

      public boolean containsAll​(java.util.Collection<?> c)
      Specified by:
      containsAll in interface java.util.Collection<Term>
    • addAll

      public boolean addAll​(java.util.Collection<? extends Term> c)
      Specified by:
      addAll in interface java.util.Collection<Term>
    • removeAll

      public boolean removeAll​(java.util.Collection<?> c)
      Specified by:
      removeAll in interface java.util.Collection<Term>
    • retainAll

      public boolean retainAll​(java.util.Collection<?> c)
      Specified by:
      retainAll in interface java.util.Collection<Term>
    • clear

      public void clear()
      Specified by:
      clear in interface java.util.Collection<Term>