Class NullaryStatement<T extends IVariable<T>>

    • Field Summary

      Fields 
      Modifier and Type Field Description
      protected T lhs
      The operands
    • Constructor Summary

      Constructors 
      Modifier Constructor Description
      protected NullaryStatement​(T lhs)
      Constructor for case of one operand on the right-hand side.
    • Field Detail

      • lhs

        protected final T extends IVariable<T> lhs
        The operands
    • Constructor Detail

      • NullaryStatement

        protected NullaryStatement​(T lhs)
        Constructor for case of one operand on the right-hand side.
        Parameters:
        lhs - the lattice cell set by this equation
    • Method Detail

      • evaluate

        public byte evaluate()
        Evaluate this equation, setting a new value for the left-hand side.
        Returns:
        true if the lhs value changed. false otherwise
      • getLHS

        public T getLHS()
        Return the left-hand side of this equation.
        Returns:
        the lattice cell this equation computes
      • hasVariable

        public boolean hasVariable​(T cell)
        Does this equation contain an appearance of a given cell?
        Parameters:
        cell - the cell in question
        Returns:
        true or false
      • getRHS

        public T[] getRHS()
                   throws java.lang.UnsupportedOperationException
        Description copied from interface: IFixedPointStatement
        returns the list of free variables appearing in the right-hand side of the statement
        Throws:
        java.lang.UnsupportedOperationException