chc.invariants package

Invariants and their constituting expressions.

`chc.invariants.CFunDictionaryRecord`	Base class for records in function-specific invariants, variable dictionary.
`chc.invariants.CFunInvDictionary`	Dictionary of indexed function invariants.
`chc.invariants.CFunInvariantTable`	Table of invariant facts for an individual function.
`chc.invariants.CFunVarDictionary`	Dictionary of indexed variables for an individual function.
`chc.invariants.CFunXprDictionary`	Dictionary of indexed expressions for an individual function.
`chc.invariants.CInvariantFact`	Different types of invariants.
`chc.invariants.CNonRelationalValue`	Different types of non-relational values used in invariants.
`chc.invariants.CVConstantValueVariable`	Symbolic values that are constant in the context of a function.
`chc.invariants.CVMemoryBase`	Different types of memory base values (global, stack, heap).
`chc.invariants.CVMemoryReferenceData`	Base value and type of a memory reference.
`chc.invariants.CVariableDenotation`	Different types of analysis variable.
`chc.invariants.CXConstant`	Constant value.
`chc.invariants.CXNumerical`	Numerical value; corresponds to chlib:numerical_t.
`chc.invariants.CXSymbol`	Symbolic value; identified by name and sequence number.
`chc.invariants.CXVariable`	CHIF Variable; identified by name and sequence number.
`chc.invariants.CXXpr`	Expression.

Submodules