chc.proof.CFilePredicateRecord module

Object representation of OCaml po_predicate_t.

class chc.proof.CFilePredicateRecord.CFilePredicateRecord(pd: CFilePredicateDictionary, ixval: chc.util.IndexedTable.IndexedTableValue)[source]

Bases: chc.util.IndexedTable.IndexedTableValue

Base class for all objects in the the CFilePredicateDictionary.

property cd: CDictionary

property cfile: CFile

property pd: CFilePredicateDictionary

class chc.proof.CFilePredicateRecord.CFilePredicateRegistry[source]

Bases: object

mk_instance(cd: CFilePredicateDictionary, ixval: chc.util.IndexedTable.IndexedTableValue, anchor: Type[chc.proof.CFilePredicateRecord.PDR]) → chc.proof.CFilePredicateRecord.PDR[source]

register_tag(tag: str, anchor: type) → Callable[[type], type][source]