Class AbstractCollectionOf.Key

  • Enclosing class:
    AbstractCollectionOf

    private static class AbstractCollectionOf.Key
    extends java.lang.Object
    Represents a combination of possible values for the variables contained in the goal.
    • Field Summary

      Fields 
      Modifier and Type Field Description
      (package private) java.util.List<Term> terms  
    • Constructor Summary

      Constructors 
      Constructor Description
      Key​(java.util.List<Variable> variables)  
    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      boolean equals​(java.lang.Object o)  
      int hashCode()  
      • Methods inherited from class java.lang.Object

        clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait
    • Field Detail

      • terms

        final java.util.List<Term> terms
    • Constructor Detail

      • Key

        Key​(java.util.List<Variable> variables)
    • Method Detail

      • equals

        public boolean equals​(java.lang.Object o)
        Overrides:
        equals in class java.lang.Object
      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object