Class ExTermTag


  • public class ExTermTag
    extends java.lang.Object
    Tags used for encoding and decoding for external terms.
    This list in incomplete as not all tags are used by this library.
    Since:
    4.2.1
    • Constructor Summary

      Constructors 
      Constructor Description
      ExTermTag()  
    • Method Summary

      • Methods inherited from class java.lang.Object

        equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait