Class XNodeParentSpecial<V extends IVar>

    • Field Detail

      • specialName

        public final String specialName
    • Constructor Detail

      • XNodeParentSpecial

        public XNodeParentSpecial​(String specialName,
                                  XNode<V> son1,
                                  XNode<V> son2)
      • XNodeParentSpecial

        public XNodeParentSpecial​(String specialName,
                                  XNode<V> son)