Class UnaryStatement<T extends IVariable<T>>

All Implemented Interfaces:
IFixedPointStatement<T>, INodeWithNumber
Direct Known Subclasses:
AssignEquation, BasicUnaryStatement

public abstract class UnaryStatement<T extends IVariable<T>> extends AbstractStatement<T,UnaryOperator<T>>
Represents a single step, restricted to a unary operator.
  • Field Details

    • lhs

      protected final T extends IVariable<T> lhs
      The operands
    • rhs

      protected final T extends IVariable<T> rhs
  • Constructor Details

    • UnaryStatement

      protected UnaryStatement(T lhs, T rhs)
      Constructor for case of one operand on the right-hand side.
      Parameters:
      lhs - the lattice cell set by this equation
      rhs - the first operand on the rhs
  • Method Details