chc.invariants.CFunDictionaryRecord module

Base class for records in function-specific invariants, variable dictionary.

class chc.invariants.CFunDictionaryRecord.CFunInvDictionaryRecord(invd: CFunInvDictionary, ixval: chc.util.IndexedTable.IndexedTableValue)[source]

Bases: chc.util.IndexedTable.IndexedTableValue

Base class for all objects kept in the CFunInvDictionary.

property invd: CFunInvDictionary
property vd: CFunVarDictionary
property xd: CFunXprDictionary
class chc.invariants.CFunDictionaryRecord.CFunInvDictionaryRegistry[source]

Bases: object

mk_instance(invd: CFunInvDictionary, ixval: chc.util.IndexedTable.IndexedTableValue, superclass: type) → chc.invariants.CFunDictionaryRecord.IdR[source]
register_tag(tag: str, anchor: type) → Callable[[type], type][source]
class chc.invariants.CFunDictionaryRecord.CFunVarDictionaryRecord(vd: CFunVarDictionary, ixval: chc.util.IndexedTable.IndexedTableValue)[source]

Bases: chc.util.IndexedTable.IndexedTableValue

Base class for all objects kept in the CFunVarDictionary.

property cd: CFileDictionary
property fdecls: CFileDeclarations
property fundecls: CFunDeclarations
property vd: CFunVarDictionary
property xd: CFunXprDictionary
class chc.invariants.CFunDictionaryRecord.CFunVarDictionaryRegistry[source]

Bases: object

mk_instance(vd: CFunVarDictionary, ixval: chc.util.IndexedTable.IndexedTableValue, superclass: type) → chc.invariants.CFunDictionaryRecord.VdR[source]
register_tag(tag: str, anchor: type) → Callable[[type], type][source]
class chc.invariants.CFunDictionaryRecord.CFunXprDictionaryRecord(xd: CFunXprDictionary, ixval: chc.util.IndexedTable.IndexedTableValue)[source]

Bases: chc.util.IndexedTable.IndexedTableValue

Base class for all objects kept in the CFunXprDictionary.

property vd: CFunVarDictionary
property xd: CFunXprDictionary
class chc.invariants.CFunDictionaryRecord.CFunXprDictionaryRegistry[source]

Bases: object

mk_instance(xd: CFunXprDictionary, ixval: chc.util.IndexedTable.IndexedTableValue, superclass: type) → chc.invariants.CFunDictionaryRecord.XdR[source]
register_tag(tag: str, anchor: type) → Callable[[type], type][source]