Class Term.Unary

    • Field Detail

      • arg

        protected final Term arg
    • Constructor Detail

      • Unary

        protected Unary​(String name,
                        int type,
                        Term arg)
    • Method Detail

      • pre

        public final int pre()
        Specified by:
        pre in class Term