chc.api.XPredicate
------------------


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

.. autosummary::
   chc.api.XPredicate.XPredicate
   chc.api.XPredicate.XAllocationBase
   chc.api.XPredicate.XBlockWrite
   chc.api.XPredicate.XBuffer
   chc.api.XPredicate.XRevBuffer
   chc.api.XPredicate.XControlledResource
   chc.api.XPredicate.XConfined
   chc.api.XPredicate.XConstTerm
   chc.api.XPredicate.XFalse
   chc.api.XPredicate.XFormattedInput
   chc.api.XPredicate.XFreed
   chc.api.XPredicate.XFunctional
   chc.api.XPredicate.XInitialized
   chc.api.XPredicate.XInitializedRange
   chc.api.XPredicate.XInputFormatString
   chc.api.XPredicate.XInvalidated
   chc.api.XPredicate.XNewMemory
   chc.api.XPredicate.XGlobalAddress
   chc.api.XPredicate.XHeapAddress
   chc.api.XPredicate.XStackAddress
   chc.api.XPredicate.XNoOverlap
   chc.api.XPredicate.XNotNull
   chc.api.XPredicate.XNonNegative
   chc.api.XPredicate.XNotZero
   chc.api.XPredicate.XNull
   chc.api.XPredicate.XNullTerminated
   chc.api.XPredicate.XOutputFormatString
   chc.api.XPredicate.XPreservesAllMemory
   chc.api.XPredicate.XPreservesAllMemoryX
   chc.api.XPredicate.XPreservesMemory
   chc.api.XPredicate.XPreservesNullTermination
   chc.api.XPredicate.XPreservesValidity
   chc.api.XPredicate.XPreservesValue
   chc.api.XPredicate.XRelationalExpr
   chc.api.XPredicate.XRepositioned
   chc.api.XPredicate.XTainted
   chc.api.XPredicate.XUniquePointer
   chc.api.XPredicate.XValidMem
   

.. automodule:: chc.api.XPredicate
    :members:
    :undoc-members:
    :show-inheritance: