Class Fact


  • public class Fact
    extends java.lang.Object
    • Field Summary

      Fields 
      Modifier and Type Field Description
      Value[] args  
      java.lang.String predicate  
    • Constructor Summary

      Constructors 
      Constructor Description
      Fact​(java.lang.String predicate, Value... args)  
    • Method Summary

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

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

      • predicate

        public java.lang.String predicate
      • args

        public Value[] args
    • Constructor Detail

      • Fact

        public Fact​(java.lang.String predicate,
                    Value... args)
    • Method Detail

      • toString

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

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

        public boolean equals​(java.lang.Object obj)
        Overrides:
        equals in class java.lang.Object