Class Node_Marker

  • All Implemented Interfaces:
    java.io.Serializable

    public class Node_Marker
    extends Node_Ext<java.lang.String>
    Marker special nodes for datastructures. The application is responsible for allocating unique strings.
    See Also:
    Serialized Form
    • Method Detail

      • xlabel

        public static Node xlabel​(java.lang.String str)
      • isConcrete

        public boolean isConcrete()
        Description copied from class: Node
        Answer true iff this node is concrete, ie not variable, ie URI, blank, or literal.
        Overrides:
        isConcrete in class Node_Ext<java.lang.String>