Class OpExtRegistry


  • public class OpExtRegistry
    extends java.lang.Object
    Manage extension algebra operations
    • Constructor Detail

      • OpExtRegistry

        public OpExtRegistry()
    • Method Detail

      • register

        public static void register​(OpExtBuilder builder)
      • unregister

        public static void unregister​(java.lang.String subtag)
      • builder

        public static OpExtBuilder builder​(java.lang.String tag)
      • buildExt

        public static Op buildExt​(java.lang.String tag,
                                  ItemList args)