chc.invariants.CVariableDenotation module
-----------------------------------------

Base class and subclasses
^^^^^^^^^^^^^^^^^^^^^^^^^

.. autosummary::
   chc.invariants.CVariableDenotation.CVAugmentationVariable
   chc.invariants.CVariableDenotation.CVAuxiliaryVariable
   chc.invariants.CVariableDenotation.CVCheckVariable
   chc.invariants.CVariableDenotation.CVFieldVariable
   chc.invariants.CVariableDenotation.CVGlobalVariable
   chc.invariants.CVariableDenotation.CVLocalVariable
   chc.invariants.CVariableDenotation.CVMemoryRegionVariable
   chc.invariants.CVariableDenotation.CVMemoryVariable
   chc.invariants.CVariableDenotation.CVReturnVariable
   chc.invariants.CVariableDenotation.CVariableDenotation

.. automodule:: chc.invariants.CVariableDenotation
    :members:
    :undoc-members:
    :show-inheritance: