Class NullaryStatement<T extends IVariable<T>>

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

public abstract class NullaryStatement<T extends IVariable<T>> extends AbstractStatement<T,NullaryOperator<T>>
Represents a single step, restricted to a nullary operator.
  • Field Details

    • lhs

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

    • 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 Details