Class NullaryStatement<T extends IVariable>

    • Field Detail

      • lhs

        protected final T extends IVariable 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