Prop_Alloc()
Allocate a property
Prop_BuildFsm()
Fills all the FSM fields of a property
Prop_BuildMasterProp()
Fills all the FSM fields of the master property
Prop_CheckType()
Check if a property in the database is of a given type
Prop_CreatePropPartial()
Creates a property
Prop_DbPrintAllStatusType()
Prints all the properties stored in the DB
Prop_DbPrintAllStatus()
Prints all the properties stored in the DB
Prop_DbPrintAllType()
Prints all the properties stored in the DB
Prop_DbPrintAll()
Prints all the properties stored in the DB
Prop_DbVerifyAllTypeCompute()
Verifies all COMPUTE properties
Prop_DbVerifyAllTypeCtl()
Verifies all CTL properties
Prop_DbVerifyAllTypeInvar()
Verifies all INVAR properties
Prop_DbVerifyAllTypeLtl()
Verifies all LTL properties
Prop_DbVerifyAllType()
Verifies all properties of a given type
Prop_Db_Add()
Inserts a property in the DB of properties
Prop_Db_GetLast()
Returns the last entered property in the DB
Prop_Db_GetNum()
Returns the property indexed by index
Prop_Db_GetPropsOfType()
Given a property type returns the list of properties of that type currently located into the property database
Prop_Db_GetSize()
Returns the size of the DB
Prop_Db_Init()
Initializes the DB of properties
Prop_Db_PropCreateAndAdd()
Inserts a property in the DB of properties
Prop_Db_PropParseAndAdd()
Add a property to the database from a string and a type
Prop_Db_PropParseFromArgAndAdd()
Add a property to the database from an arg structure and a type
Prop_Db_Quit()
Disposes the DB of properties
Prop_Db_VerifyAll()
Verifies all the properties in the DB
Prop_Db_VerifyPropIndex()
Verifies a given property
Prop_Db_VerifyProp()
Verifies a given property
Prop_DecodeStatus()
Returns the a string associated to a property status
Prop_DecodeType()
Returns the a string associated to a property type
Prop_Destroy()
Destroy the elements of a property
Prop_End()
Quit the prop package
Prop_FillPropDb()
Fills the DB of properties
Prop_Free()
Free a property
Prop_GetBddFsm()
Returns the boolean FSM in BDD of a property
Prop_GetBeFsmCoi()
Returns the boolean FSM in BE of a property, also taking into accout of the Cone Of Influence applied to the property
Prop_GetBeFsm()
Returns the boolean FSM in BE of a property
Prop_GetBoolFsm()
Returns the boolean FSM in sexp of a property
Prop_GetCone()
Returns the cone of a property
Prop_GetIndex()
Returns the index of a property
Prop_GetNumber()
Returns the number of the property
Prop_GetPropIdxFromString()
Get a valid property index from a string
Prop_GetProp()
Returns the property
Prop_GetScalarFsm()
Returns the scalar FSM in sexp of a property
Prop_GetStatus()
Returns the status of the property
Prop_GetTrace()
Returns the trace number associated to a property
Prop_GetType()
Returns the property type
Prop_InitPropMaster()
Creates the master prop
Prop_Init()
Initiliaze the prop package
Prop_MasterGetBddFsm()
Returns the boolean FSM in BDD
Prop_MasterGetBeFsm()
Returns the boolean FSM in BE
Prop_MasterGetBoolFsm()
Returns the boolean FSM in sexp
Prop_MasterGetScalarFsm()
Returns the scalar FSM
Prop_MasterSetBddFsm()
Set the boolean FSM in BDD
Prop_MasterSetBeFsm()
Set the boolean FSM in BE
Prop_MasterSetBoolFsm()
Set the boolean FSM in sexp
Prop_MasterSetScalarFsm()
Set the scalar FSM
Prop_PrintPropHeader()
Prints the header of the property list
Prop_PrintPropNum()
Prints the specified property from the DB
Prop_PrintProp()
Prints a property
Prop_PropTraceNoGetPropIndex()
Returns the index of the property associated to a trace.
Prop_QuitPropMaster()
Free the master prop
Prop_SetBddFsm()
Sets the boolean FSM in BDD of a property
Prop_SetBeFsm()
Sets the boolean FSM in BE of a property
Prop_SetBoolFsm()
Sets the boolean FSM in sexp of a property
Prop_SetCone()
Sets the cone of a property
Prop_SetFsmToMaster()
Copies master prop FSM data into prop
Prop_SetIndex()
Sets the index of a property
Prop_SetNumberInfinte()
Sets the number of the property to INFINITE
Prop_SetNumber()
Sets the number of the property
Prop_SetProp()
Sets the property
Prop_SetScalarFsm()
Sets the scalar FSM in sexp of a property
Prop_SetStatus()
Sets the status of the property
Prop_SetTrace()
Sets the trace number
Prop_SetType()
Sets the property type.

Last updated on 1021121 13h59