Class ZeroType


  • public class ZeroType
    extends Type
    A type to represent the zero constant.
    Author:
    Andrea Leofreddi
    • Constructor Detail

      • ZeroType

        public ZeroType()
    • Method Detail

      • getName

        public String getName()
        Description copied from class: Type
        Returns the type name as shown to the user.
        Overrides:
        getName in class Type
        Returns:
        Type name