chc.invariants.CXConstant module

Base class and subclasses

chc.invariants.CXConstant.CXBoolConst(xd, ixval)
chc.invariants.CXConstant.CXConstant(xd, ixval)
chc.invariants.CXConstant.CXIntConst(xd, ixval)
chc.invariants.CXConstant.CXRandom(xd, ixval)
chc.invariants.CXConstant.CXSymSet(xd, ixval)
chc.invariants.CXConstant.CXUnknownInt(xd, ixval)
chc.invariants.CXConstant.CXUnknownSet(xd, ixval)

Constant value.

class chc.invariants.CXConstant.CXBoolConst(xd: CFunXprDictionary, ixval: chc.util.IndexedTable.IndexedTableValue)

Bases: chc.invariants.CXConstant.CXConstant

property is_boolconst: bool

property is_false: bool

property is_true: bool

class chc.invariants.CXConstant.CXConstant(xd: CFunXprDictionary, ixval: chc.util.IndexedTable.IndexedTableValue)

Bases: chc.invariants.CFunDictionaryRecord.CFunXprDictionaryRecord

property is_boolconst: bool

property is_intconst: bool

property is_random: bool

property is_symset: bool

property is_unknown_int: bool

property is_unknown_set: bool

class chc.invariants.CXConstant.CXIntConst(xd: CFunXprDictionary, ixval: chc.util.IndexedTable.IndexedTableValue)

Bases: chc.invariants.CXConstant.CXConstant

property constvalue: CXNumerical

property is_intconst: bool

class chc.invariants.CXConstant.CXRandom(xd: CFunXprDictionary, ixval: chc.util.IndexedTable.IndexedTableValue)

Bases: chc.invariants.CXConstant.CXConstant

property is_random: bool

class chc.invariants.CXConstant.CXSymSet(xd: CFunXprDictionary, ixval: chc.util.IndexedTable.IndexedTableValue)

Bases: chc.invariants.CXConstant.CXConstant

property is_symset: bool

property symbols: List[CXSymbol]

class chc.invariants.CXConstant.CXUnknownInt(xd: CFunXprDictionary, ixval: chc.util.IndexedTable.IndexedTableValue)

Bases: chc.invariants.CXConstant.CXConstant

property is_unknown_int: bool

class chc.invariants.CXConstant.CXUnknownSet(xd: CFunXprDictionary, ixval: chc.util.IndexedTable.IndexedTableValue)

Bases: chc.invariants.CXConstant.CXConstant

property is_unknown_set: bool