Package wprover

Class CBoolean

  • public class CBoolean
extends java.lang.Object
    Represents a boolean value that can be modified. This class is used to encapsulate a boolean value and provide methods to get and set its value.

    • Field Summary

      Fields 
      Modifier and Type Field Description
      boolean bl  

    • Constructor Summary

      Constructors 
      Constructor Description
      CBoolean​(boolean b)
      Constructs a CBoolean object with the given boolean value.

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      boolean getValue()
      Gets the boolean value.
      void setValue​(boolean v)
      Sets the boolean value.

      • Methods inherited from class java.lang.Object

        clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

    • Field Detail

      • bl

        public boolean bl

    • Constructor Detail

      • CBoolean

        public CBoolean​(boolean b)
        Constructs a CBoolean object with the given boolean value.
        Parameters:
        b - the boolean value

    • Method Detail

      • getValue

        public boolean getValue()
        Gets the boolean value.
        Returns:
        the boolean value

      • setValue

        public void setValue​(boolean v)
        Sets the boolean value.
        Parameters:
        v - the boolean value to set